BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
problem (106)
base (54)
system (43)
design (38)
use (37)

Stem solut$ (all stems)

507 papers:

WICSAWICSA-2015-PoortV #architecture #case study #cost analysis #experience
Architecting in a Solution Costing Context: Early Experiences with Solution-Based Estimating (EP, EvdV), pp. 127–130.
CASECASE-2015-FleischerAT #automation #composition #evaluation
A cross-platform modular software solution for automated data evaluation applied in elemental and structural mass spectrometry (HF, MA, KT), pp. 758–763.
CASECASE-2015-MaedaK #algorithm #hybrid
Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.
DACDAC-2015-ChangLF #challenge
EUV and e-beam manufacturability: challenges and solutions (YWC, RGL, SYF), p. 6.
DACDAC-2015-LiuWLCWBQ #challenge #design #security
Cloning your mind: security challenges in cognitive system designs and their solutions (BL, CW, HL, YC, QW, MB, QQ), p. 5.
DACDAC-2015-PetrenkoTR #challenge #modelling #testing
Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DACDAC-2015-TeimouriTS #challenge
Revisiting accelerator-rich CMPs: challenges and solutions (NT, HT, GS), p. 6.
TACASTACAS-2015-UnnoT #horn clause #recursion
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (HU, TT), pp. 149–163.
ICPCICPC-2015-AmintabarHG #development #exception #ide #named #recommendation
ExceptionTracer: a solution recommender for exceptions in an integrated development environment (VA, AH, MG), pp. 299–302.
STOCSTOC-2015-FeldmanPV #complexity #on the #problem #random #satisfiability
On the Complexity of Random Satisfiability Problems with Planted Solutions (VF, WP, SV), pp. 77–86.
ICALPICALP-v1-2015-MouawadNPR #configuration management
Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas (AEM, NN, VP, VR), pp. 985–996.
ICALPICALP-v2-2015-CiobanuDE #equation #set
Solution Sets for Equations over Free Groups are EDT0L Languages (LC, VD, ME), pp. 134–145.
CHICHI-2015-ButlerASGP #analysis #automation #design #game studies
Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.
CHICHI-2015-DehaisPSFG #automation #realtime
“Automation Surprise” in Aviation: Real-Time Solutions (FD, VP, SS, JF, TG), pp. 2525–2534.
CHICHI-2015-MaurielloNF #automation #comprehension #energy
Understanding the Role of Thermography in Energy Auditing: Current Practices and the Potential for Automated Solutions (MLM, LN, JEF), pp. 1993–2002.
HCIDUXU-UI-2015-MedolaLBSFP #case study #experience #problem
Experiences, Problems and Solutions in Computer Usage by Subjects with Tetraplegia (FOM, JL, CGB, AS, AEF, LCP), pp. 131–137.
HCIHIMI-IKD-2015-SharmaMMTD #graph #modelling
A Team Hiring Solution Based on Graph-Based Modelling of Human Resource Entities (AS, JM, AM, AT, PD), pp. 115–126.
HCILCT-2015-VielRTP #design #interactive #learning #multi
Design Solutions for Interactive Multi-video Multimedia Learning Objects (CCV, KRHR, CACT, MdGCP), pp. 160–171.
ICEISICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #modelling #petri net #simulation #using
Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.
ICEISICEIS-v2-2015-BarbarI #named
BlueKey — A Bluetooth Secure Solution for Accessing Personal Computers (AB, AI), pp. 509–515.
ICEISICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #on the #process #using
On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEISICEIS-v2-2015-VitolsBSSAS #multi
Multi-payment Solution for Smartlet Applications (GV, NB, JS, VS, IA, IS), pp. 668–673.
ICMLICML-2015-BlechschmidtGL #approximate #multi #optimisation #parametricity #problem
Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.
ICMLICML-2015-RajkumarGL0 #probability #ranking #set
Ranking from Stochastic Pairwise Preferences: Recovering Condorcet Winners and Tournament Solution Sets at the Top (AR, SG, LHL, SA), pp. 665–673.
KDDKDD-2015-IitsukaM #optimisation #problem
Website Optimization Problem and Its Solutions (SI, YM), pp. 447–456.
KDDKDD-2015-LiuC #challenge #detection #social #social media
Social Media Anomaly Detection: Challenges and Solutions (YL, SC), pp. 2317–2318.
MLDMMLDM-2015-OliveiraVZ #clustering #on the
On Bicluster Aggregation and its Benefits for Enumerative Solutions (SHGdO, RV, FJVZ), pp. 266–280.
POPLPOPL-2015-Sangiorgi #equation
Equations, Contractions, and Unique Solutions (DS), pp. 421–432.
SACSAC-2015-FontineleSSNM #network #physics #problem
A solution to the MCSP problem considering physical layer degradations in transparent optical networks (AF, IS, ACBS, JMN, FM), pp. 662–664.
SACSAC-2015-LopesFBM #communication #named #network #smarttech
SMARTFlow: a solution for autonomic management and control of communication networks for smart grids (YL, NCF, CAMB, DCMS), pp. 2212–2217.
SACSAC-2015-TodaT #performance #satisfiability
BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.
ESEC-FSEESEC-FSE-2015-MorenoBHPORM #re-engineering #retrieval
Query-based configuration of text retrieval solutions for software engineering tasks (LM, GB, SH, MDP, RO, BR, AM), pp. 567–578.
PLEASEPLEASE-2015-BuchmannBHW #challenge #variability
Robots and their Variability — A Societal Challenge and a Potential Solution (TB, JB, DH, BW), pp. 27–30.
ISSTAISSTA-2015-JiaGY #constraints #execution #reuse #symbolic computation
Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.
ECSAECSA-2014-AbukwaikTR #architecture #information management #problem
Interoperability-Related Architectural Problems and Solutions in Information Systems: A Scoping Study (HA, DT, HDR), pp. 308–323.
ASEASE-2014-0004MPC #towards #traceability
Towards an intelligent domain-specific traceability solution (JG, NM, CP, JCH), pp. 755–766.
CASECASE-2014-GaoLWA #monitoring #petri net #problem #sequence #using
A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.
CASECASE-2014-YenLLKWH #in the cloud #industrial #network
Advanced manufacturing solution to industry 4.0 trend through sensing network and Cloud Computing technologies (CTY, YCL, CCL, CCK, WBW, YRH), pp. 1150–1152.
DACDAC-2014-AbarbanelSV #challenge #validation
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
DACDAC-2014-GaoXYP #named #optimisation #process
MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.
DACDAC-2014-Kose #challenge
Thermal Implications of On-Chip Voltage Regulation: Upcoming Challenges and Possible Solutions (SK), p. 6.
DATEDATE-2014-MaliukM #framework #network #prototype
An analog non-volatile neural network platform for prototyping RF BIST solutions (DM, YM), pp. 1–6.
PODSPODS-2014-GrecoS #hybrid #query
Counting solutions to conjunctive queries: structural and hybrid tractability (GG, FS), pp. 132–143.
VLDBVLDB-2014-WuC0SCB #big data #named
yzBigData: Provisioning Customizable Solution for Big Data (SW, GC, KC, LS, HC, HB), pp. 1778–1783.
PLDIPLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
ICALPICALP-v1-2014-GafniH
Sporadic Solutions to Zero-One Exclusion Tasks (EG, MH), pp. 1–10.
LATALATA-2014-Cerny #composition #morphism #multi #problem
Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms (AC), pp. 273–284.
HCIHCI-AIMT-2014-HettipathiranaW #interactive #named
iPanel: A Computer-Vision Based Solution for Interactive Keyboard and Mouse (HCDH, PW), pp. 36–47.
HCIHCI-TMT-2014-SiliMMGP #automation #generative #question #user interface #what
A Practical Solution for the Automatic Generation of User Interfaces — What Are the Benefits of a Practical Solution for the Automatic Generation of User Interfaces? (MS, CCM, MM, MG, MP), pp. 445–456.
ICPRICPR-2014-Lee #geometry #re-engineering
New Geometric Interpretation and Analytic Solution for Quadrilateral Reconstruction (JHL), pp. 4015–4020.
KMISKMIS-2014-SerranoRHCFAFSM
Improved Business Intelligence Solution with Reimbursement Tracking System for the Brazilian Ministry of Planning, Budget and Management (AMRS, PHBR, RCH, JPCLdC, EPdF, VLdA, AAF, RTdSJ, MAMM, BHAP), pp. 434–440.
KMISKMIS-2014-WitschelTL #automation #navigation #topic
Where Did I(T) Put It? — A Holistic Solution to the Automatic Construction of Topic Trees for Navigation (HFW, BT, JL), pp. 194–202.
CASECASE-2013-HoC #contest #design #game studies
Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.
CASECASE-2013-HuMW #automation #energy
Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.
DACDAC-2013-AngioneCCLN #modelling
Pareto epsilon-dominance and identifiable solutions for BioCAD modeling (CA, JC, GC, PL, GN), p. 9.
DACDAC-2013-LiuKL #optimisation
Optimization of placement solutions for routability (WHL, CKK, YLL), p. 9.
DATEDATE-2013-GreenGW #energy
Innovative energy storage solutions for future electromobility in smart cities (KG, SRG, RW), pp. 1730–1734.
DATEDATE-2013-HuYH0 #concurrent #low cost #multi #named #thread
Orchestrator: a low-cost solution to reduce voltage emergencies for multi-threaded applications (XH, GY, YH, XL), pp. 208–213.
DATEDATE-2013-ZordanBDGTVB #fault #power management
Test solution for data retention faults in low-power SRAMs (LBZ, AB, LD, PG, AT, AV, NB), pp. 442–447.
VLDBVLDB-2013-Ngo
Getting Unique Solution in Data Exchange (NN), pp. 1440–1443.
ITiCSEITiCSE-2013-Luxton-ReillyDKTY #difference #on the #student
On the differences between correct student solutions (ALR, PD, DK, EDT, SYY), pp. 177–182.
HCIDHM-HB-2013-LundhBMP #design #problem #visualisation
Visualizing Design Problems and Solutions of Workstations on Ships (ML, MB, SM, JP), pp. 252–260.
HCIDUXU-WM-2013-OettliP
Web-Portal Solution for Supporting In-Country Reviews (MO, TP), pp. 77–83.
HCIHCI-UC-2013-HimmelZA #monitoring
From Living Space to Urban Quarter: Acceptance of ICT Monitoring Solutions in an Ageing Society (SH, MZ, KA), pp. 49–58.
HCIHIMI-LCCB-2013-TakadamaSHISHSY #comprehension #interactive #multi #towards
Towards Understanding of Relationship among Pareto Optimal Solutions in Multi-dimensional Space via Interactive System (KT, YS, TH, YI, KS, KH, HS, TY), pp. 137–146.
ICEISICEIS-v1-2013-AlvesSCCCWGBGC #named #semantics #traceability
Fairtrace — A Semantic-web Oriented Traceability Solution Applied to the Textile Traceability (BA, MS, FC, ALC, GC, DW, CG, BB, DG, PC), pp. 36–45.
ICEISICEIS-v2-2013-VitolsSB #development #mobile
Cross-platform Solution for Development of Mobile Applications (GV, IS, OB), pp. 273–277.
CIKMCIKM-2013-ZhangDDC #network #probability #social
Probabilistic solutions of influence propagation on social networks (MZ, CD, CHQD, EC), pp. 429–438.
ECIRECIR-2013-PCK #problem #query #repository
Query Suggestions for Textual Problem Solution Repositories (DP, SC, DK), pp. 569–581.
ICMLICML-c3-2013-ZhangZWKYM #kernel
Covariate Shift in Hilbert Space: A Solution via Sorrogate Kernels (KZ, VWZ, QW, JTYK, QY, IM), pp. 388–395.
KDDKDD-2013-OuCWWZY #scalability
Comparing apples to oranges: a scalable solution with heterogeneous hashing (MO, PC, FW, JW, WZ, SY), pp. 230–238.
KDIRKDIR-KMIS-2013-CastellanoS
Developing Innovative e-Learning Solutions (MC, FAS), pp. 484–489.
SEKESEKE-2013-SilvaOL #declarative #explosion #modelling #problem #process
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S) (NCS, CALO, RMFL), pp. 26–29.
ECMFAECMFA-2013-ElaasarC #collaboration #design
Design Management: A Collaborative Design Solution (ME, JC), pp. 165–178.
ICMTICMT-2013-CuadradoL #challenge #model transformation #streaming
Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.
RERE-2013-SavolainenHM #challenge #embedded #specification
Challenges in balancing the amount of solution information in requirement specifications for embedded products (JS, DH, MM), pp. 256–260.
REFSQREFSQ-2013-IngolfoSJSPM
Choosing Compliance Solutions through Stakeholder Preferences (SI, AS, IJ, AS, AP, JM), pp. 206–220.
ICSEICSE-2013-EsfahaniMR #architecture #named #nondeterminism
GuideArch: guiding the exploration of architectural solution space under uncertainty (NE, SM, KR), pp. 43–52.
PLEASEPLEASE-2013-Zhang0 #framework #named #reverse engineering #towards #variability
RECoVar: A solution framework towards reverse engineering variability (BZ, MB), pp. 45–48.
ICSTSAT-2013-FingerLGS #constraints #probability #satisfiability #using
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability (MF, RL, CPG, BS), pp. 233–249.
CASECASE-2012-BilykM #heuristic #parallel #problem #search-based
Variable neighborhood search-based subproblem solution procedures for a parallel shifting bottleneck heuristic for complex job shops (AB, LM), pp. 419–424.
CASECASE-2012-TaboadaXJJ #energy #industrial
Exploring a solar photovoltaic-based energy solution for green manufacturing industry (HAT, ZX, TJ, JAJ), pp. 40–45.
DACDAC-2012-KirschP #problem
Incorrect systems: it’s not the problem, it’s the solution (CMK, HP), pp. 913–917.
DATEDATE-2012-LeMKV #debugging #satisfiability #using
Non-solution implications using reverse domination in a modern SAT-based debugging environment (BL, HM, BK, AGV), pp. 629–634.
DATEDATE-2012-Marinissen #2d #3d #challenge #testing
Challenges and emerging solutions in testing TSV-based 2 1 over 2D- and 3D-stacked ICs (EJM), pp. 1277–1282.
DATEDATE-2012-MarinissenVGHRMB #detection #process
EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.
DATEDATE-2012-PellegriniSCFHJAAB #evaluation
CrashTest’ing SWAT: Accurate, gate-level evaluation of symptom-based resiliency solutions (AP, RS, LC, XF, SKSH, JJ, SVA, TMA, VB), pp. 1106–1109.
DATEDATE-2012-SahlbachWE
A high-performance dense block matching solution for automotive 6D-vision (HS, SW, RE), pp. 268–271.
DATEDATE-2012-YangLTW #modelling
Almost every wire is removable: A modeling and solution for removing any circuit wire (XY, TKL, WCT, YLW), pp. 1573–1578.
CSEETCSEET-2012-RongS #challenge #education
Delivering Software Process-Specific Project Courses in Tertiary Education Environment: Challenges and Solution (GR, DS), pp. 52–61.
CSMRCSMR-2012-DohringH #adaptation #taxonomy #workflow
Anomalies in Rule-Adapted Workflows — A Taxonomy and Solutions for vBPMN (MD, SH), pp. 117–126.
ICPCICPC-2012-DitMP #feature model
A TraceLab-based solution for creating, conducting, and sharing feature location experiments (BD, EM, DP), pp. 203–208.
STOCSTOC-2012-DeDFS #approximate #parametricity #problem
Nearly optimal solutions for the chow parameters problem and low-weight approximation of halfspaces (AD, ID, VF, RAS), pp. 729–746.
STOCSTOC-2012-HeilmanJN
Solution of the propeller conjecture in R3 (SH, AJ, AN), pp. 269–276.
ICALPICALP-v2-2012-Spielman #algorithm #equation #graph #linear
Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations (DAS), pp. 24–26.
CIKMCIKM-2012-BhuiyanMH #interactive #mining
Interactive pattern mining on hidden data: a sampling-based solution (MB, SM, MAH), pp. 95–104.
ICPRICPR-2012-ChauhanL #distance
Manhattan-Pyramid Distance: A solution to an anomaly in pyramid matching by minimization (AC, LSL), pp. 2668–2672.
KDIRKDIR-2012-LemnaruTCP #case study #classification #detection #hybrid #network #problem
A Hybrid Solution for Imbalanced Classification Problems — Case Study on Network Intrusion Detection (CL, ATV, AC, RP), pp. 348–352.
MODELSMoDELS-2012-Wu0SZ #component #fault tolerance #modelling
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System (YW, GH, HS, YZ), pp. 514–530.
MODELSMoDELS-2012-Wu0SZ #component #fault tolerance #modelling
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System (YW, GH, HS, YZ), pp. 514–530.
QAPLQAPL-2012-Giro #model checking #performance
Efficient computation of exact solutions for quantitative model checking (SG), pp. 17–32.
REFSQREFSQ-2012-PaechHZJT #challenge
Answering a Request for Proposal — Challenges and Proposed Solutions (BP, RH, GZP, AJ, ST), pp. 16–29.
SACSAC-PL-J-2009-J-BiggarVG12 #compilation #scripting language
A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.
SACSAC-2012-FrantzC #development #integration
A software development kit to implement integration solutions (RZF, RC), pp. 1647–1652.
SACSAC-2012-HeFP #constraints
Solution neighbourhoods for constraint-directed local search (JH, PF, JP), pp. 74–79.
SACSAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial
Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
FSEFSE-2012-CaglayanMCBAT #fault #metric #named #predict
Dione: an integrated measurement and defect prediction solution (BC, ATM, , AB, TA, BT), p. 20.
ICSEICSE-2012-KeenanCLCSMGPMHDMHH #named #research #traceability
TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions (EK, AC, GL, JCH, YS, EM, MG, DP, JIM, JHH, AD, DM, SH, DH), pp. 1375–1378.
ICSEICSE-2012-MarinescuC #execution #symbolic computation #testing
make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
LDTALDTA-2012-JongeV #refactoring
A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.
PLEASEPLEASE-2012-QuintonDHMC #feature model #modelling #using
Using feature modelling and automations to select among cloud solutions (CQ, LD, PH, SM, EC), pp. 17–20.
LCTESLCTES-2012-ZuluagaKMP #design #predict
“Smart” design space sampling to predict Pareto-optimal solutions (MZ, AK, PAM, MP), pp. 119–128.
WICSAWICSA-2011-MichalikW #impact analysis #product line #towards
Towards a Solution for Change Impact Analysis of Software Product Line Products (BM, DW), pp. 290–293.
CASECASE-2011-MikosFG #agile #approach #distributed #injection #process #reasoning
A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approach (WLM, JCEF, FGCG), pp. 755–760.
CASECASE-2011-PatilSMDS #development #requirements
Requirements for the development of a decision-support solution for sustainability target cascading (LP, LS, KM, DD, RS), pp. 456–461.
CASECASE-2011-ZanasiC #design #visual notation
Direct method for digital lead-lag design: analytical and graphical solutions (RZ, SC), pp. 804–809.
DACDAC-2011-ChaiJ #complexity #equation #linear #matrix
Direct matrix solution of linear complexity for surface integral-equation based impedance extraction of high bandwidth interconnects (WC, DJ), pp. 206–211.
DACDAC-2011-Paulin #challenge #industrial #multi #perspective #programming
Programming challenges & solutions for multi-processor SoCs: an industrial perspective (PGP), pp. 262–267.
CSEETCSEET-2011-RongZCS #challenge #education
Delivering PSP course in tertiary education environment: Challenges and solution (GR, HZ, ZC, DS), pp. 284–293.
CSMRCSMR-2011-NagyVFGKK #design #reverse engineering
Solutions for Reverse Engineering 4GL Applications, Recovering the Design of a Logistical Wholesale System (CN, LV, RF, TG, FK, IK), pp. 343–346.
STOCSTOC-2011-MoitraO
Pareto optimal solutions for smoothed analysts (AM, RO), pp. 225–234.
ICALPICALP-v1-2011-BulatovM #constraints
Constraint Satisfaction Parameterized by Solution Size (AAB, DM), pp. 424–436.
CSCWCSCW-2011-HuZL #ubiquitous
Ubiquitous awareness and intelligent solutions lab: Lanzhou University (BH, FZ, LL), pp. 151–158.
HCIDUXU-v1-2011-Masita-MwangiRA #design #guidelines #interactive #mobile #self
Enhancing Interactions of Self-help Groups in Africa through Mobile Solutions: Design Guidelines (MMM, FRB, PA), pp. 621–629.
HCIDUXU-v2-2011-ShenPC #using
A Solution to Revisitation Using Organic Bookmark Management (STS, SDP, KMC), pp. 46–52.
HCIOCSC-2011-HarrisonW #industrial
E-Business Solutions in the Cable TV Industry (VH, JW), pp. 182–187.
HCIOCSC-2011-KoblentzW #industrial
Business-to-Business Solutions for the Cosmetic Industry (MK, JW), pp. 197–202.
EDOCEDOC-2011-SapkotaAIS #composition #hybrid #information management #web #web service
A Simple Solution for Information Sharing in Hybrid Web Service Composition (BS, CHA, MEI, MvS), pp. 235–244.
ICEISICEIS-v1-2011-PiTX #communication #peer-to-peer
Solutions for Enabling Communication between Different Proprietary Peer-to-peer Systems (RP, JT, KX), pp. 580–585.
ICEISICEIS-v4-2011-QiWGS #equation
Exact Solutions for the Complex Ginzburg-Landau Equation (PQ, DW, CG, HS), pp. 675–677.
CIKMCIKM-2011-BingLG #detection #segmentation #towards
Towards a unified solution: data record region detection and segmentation (LB, WL, YG), pp. 1265–1274.
CIKMCIKM-2011-PCK #problem #repository #trade-off
More or better: on trade-offs in compacting textual problem solution repositories (DP, SC, DK), pp. 2321–2324.
ICMLICML-2011-KarasuyamaT #algorithm
Suboptimal Solution Path Algorithm for Support Vector Machine (MK, IT), pp. 473–480.
ICMLICML-2011-NakajimaSB #automation #on the
On Bayesian PCA: Automatic Dimensionality Selection and Analytic Solution (SN, MS, SDB), pp. 497–504.
ICMLICML-2011-SugiyamaYKH #clustering #on the #parametricity
On Information-Maximization Clustering: Tuning Parameter Selection and Analytic Solution (MS, MY, MK, HH), pp. 65–72.
KDDKDD-2011-ChittaJHJ #approximate #clustering #kernel #scalability
Approximate kernel k-means: solution to large scale kernel clustering (RC, RJ, TCH, AKJ), pp. 895–903.
KDDKDD-2011-RaiJK #video
Video analytics solution for tracking customer locations in retail shopping malls (HGNR, KJ, PRK), pp. 773–776.
KEODKEOD-2011-SchmidtKL #automation #documentation #domain-specific language
Domain Specific Language in Technical Solution Documents — Discussion of Two Approaches to Improve the Semi-automated Annotation (HXS, AK, UL), pp. 159–166.
KEODKEOD-2011-SharmaB #ontology #problem #question
Can Ontologies Be Sufficient Solution to Requirement Engineering Problem? (RS, KKB), pp. 461–465.
KMISKMIS-2011-AnthopoulosGF #approach
Supporting the Solution Selection for a Digital City with a Fuzzy-based Approach (LGA, VCG, PF), pp. 355–358.
SEKESEKE-2011-ZhangSPCM #architecture #design #quality #recommendation #towards
Towards Quality Based Solution Recommendation in Decision-Centric Architecture Design (LZ, YS, YP, XC, HM), pp. 776–781.
SIGIRSIGIR-2011-HaoCPZ #web
From one tree to a forest: a unified solution for structured web data extraction (QH, RC, YP, LZ), pp. 775–784.
SIGIRSIGIR-2011-Jia #effectiveness #performance
Efficient and effective solutions for search engines (XFJ), pp. 1319–1320.
TOOLSTOOLS-EUROPE-2011-BrandPV #co-evolution
A Generic Solution for Syntax-Driven Model Co-evolution (MvdB, ZP, TV), pp. 36–51.
RERE-2011-ErnstBJ #evolution #incremental #requirements
Finding incremental solutions for evolving requirements (NAE, AB, IJ), pp. 15–24.
RERE-2011-Regnell #evolution #mobile #problem #scalability
Large-scale feature evolution: Problems and solutions from the mobile domain (BR), p. 323.
RERE-2011-VeerappaL #clustering #comprehension #multi #problem
Understanding clusters of optimal solutions in multi-objective decision problems (VV, EL), pp. 89–98.
SACSAC-2011-RosaGO #problem #quality #satisfiability
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences (EDR, EG, BO), pp. 901–906.
SACSAC-2011-VerasBBSC #education #framework #personalisation #web
A solution for personalized t-learning applications integrated with a web educational platform (DV, IIB, HB, MS, EdBC), pp. 1187–1193.
SLESLE-2011-TombelleVR #approach #modelling #reuse
Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language (CT, GV, ER), pp. 139–159.
PLEASEPLEASE-2011-Kulkarni #challenge
Use of SPLE to deliver custom solutions at product cost: challenges and a way forward (VK), pp. 1–5.
ISMMISMM-2011-Mutlu #challenge #manycore #memory management
Memory systems in the many-core era: challenges, opportunities, and solution directions (OM), pp. 77–78.
ICSTSAT-2011-AbioDNS
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (IA, MD, RN, PJS), pp. 273–286.
ICSTSAT-2011-CreignouOS #csp
Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (NC, FO, JS), pp. 120–133.
ICSTSAT-2011-Nadel #generative #satisfiability
Generating Diverse Solutions in SAT (AN), pp. 287–301.
TACASTACAS-2010-MoyA #calculus #problem #realtime
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (MM, KA), pp. 358–372.
STOCSTOC-2010-BurgisserC #equation #polynomial #problem
Solving polynomial equations in smoothed polynomial time and a near solution to smale’s 17th problem (PB, FC), pp. 503–512.
LATALATA-2010-HemmerlingSK #difference #equation #network #process #programming language #specification
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks (RH, KS, WK), pp. 297–308.
CHICHI-2010-HartmannMBK #error message #fault #what
What would other programmers do: suggesting solutions to error messages (BH, DM, JB, SRK), pp. 1019–1028.
ICEISICEIS-DISI-2010-AndreiRD #authentication #online
Solutions for Speeding-up On-line Dynamic Signature Authentication (VA, SMR, SD), pp. 121–126.
ICEISICEIS-DISI-2010-NikitinTL #framework #industrial #named #towards
SOFIA: Agent Scenario for Forest Industry — Tailoring UBIWARE Platform Towards Industrial Agent-driven Solutions (SN, VYT, ML), pp. 15–22.
CIKMCIKM-2010-NambiarGGM #data transformation
Massive structured data management solution (UN, RG, HG, MKM), pp. 1905–1908.
ICPRICPR-2010-TangHLL #retrieval #using
A Person Retrieval Solution Using Finger Vein Patterns (DT, BH, RL, WL), pp. 1306–1309.
KDIRKDIR-2010-ZhangUC #information management #using
A Comprehensive Solution to Procedural Knowledge Acquisition using Information Extraction (ZZ, VSU, FC), pp. 432–437.
KEODKEOD-2010-GibbsC #concurrent #ontology #question
Concurrency Conundrums — An Ontological Solution? (CG, YC), pp. 305–310.
KEODKEOD-2010-KohnLP #automation #challenge #documentation
The Challenge of Automatically Annotating Solution Documents — Comparing Manual and Automatic Annotation of Solution Documents in the Field of Mechanical Engineering (AK, UL, GP), pp. 153–158.
KMISKMIS-2010-AlvaroCPCCGC #information management #microblog #named #semantics
miKrow — An Intra-enterprise Semantic Microblogging Tool as a Micro-knowledge Management Solution (, CC, VP, MC, FC, JMGP, JC), pp. 36–43.
KRKR-2010-BrafmanRSVW #constraints #information management #representation
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms (RIB, FR, DS, KBV, TW).
SIGIRSIGIR-2010-CaiZDC #algorithm #similarity
Closed form solution of similarity algorithms (YC, MZ, CHQD, SC), pp. 709–710.
OOPSLAOOPSLA-2010-McCarthy #continuation
The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.
SACSAC-2010-BaeAVNB #algorithm #performance #search-based
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature (WDB, SA, PV, SN, KYB), pp. 892–899.
SACSAC-2010-MelchiorsSMSPGT #distributed #network
A network polling solution through a P2P-based distributed management environment (CM, AHdS, DM, CRPdS, AP, LZG, LMRT), pp. 729–730.
ICLPICLP-J-2010-GuzmanCW #evaluation #on-demand
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (PCdG, MC, DSW), pp. 401–416.
ICSTSAT-2010-BoufkhadH #bound #satisfiability
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.
ICSTSAT-2010-JarvisaloB
Reconstructing Solutions after Blocked Clause Elimination (MJ, AB), pp. 340–345.
WICSA-ECSAWICSA-ECSA-2009-PerezDSG #architecture #component #variability
Plastic Partial Components: A solution to support variability in architectural components (JP, JD, CCS, JG), pp. 221–230.
ASEASE-2009-PiccioniOMS #evolution #ide #object-oriented
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software (MP, MO, BM, TS), pp. 650–654.
DACDAC-2009-Li #equation #modelling #performance #scalability
Finding deterministic solution from underdetermined equation: large-scale performance modeling by least angle regression (XL0), pp. 364–369.
DACDAC-2009-MehrotraS #performance #robust #using
A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian (AM, AS), pp. 370–375.
DATEDATE-2009-ReordaVMR #embedded #low cost
A low-cost SEE mitigation solution for soft-processors embedded in Systems on Pogrammable Chips (MSR, MV, CM, RR), pp. 352–357.
DATEDATE-2009-YangNV #automation #data analysis #debugging
Automated data analysis solutions to silicon debug (YSY, NN, AGV), pp. 982–987.
VLDBVLDB-2009-ThusooSJSCALWM #framework #named
Hive — A Warehousing Solution Over a Map-Reduce Framework (AT, JSS, NJ, ZS, PC, SA, HL, PW, RM), pp. 1626–1629.
HCIHCD-2009-RuggeRS #development #human-computer #process #smarttech #towards
Changes of HCI Methods towards the Development Process of Wearable Computing Solutions (IR, CR, BSR), pp. 302–311.
HCIHCI-NIMT-2009-WangCKZCXS #flexibility #low cost #user interface
Low Cost Flexible Wrist Touch UI Solution (BW, CC, EK, TZ, HC, LX, AOS), pp. 533–541.
HCIHIMI-II-2009-BehalGKCLCQ #monitoring #named #visualisation
COBRA — A Visualization Solution to Monitor and Analyze Consumer Generated Medias (AB, JG, LK, YC, SL, WC, WQ), pp. 229–238.
ICEISICEIS-J-2009-SpahnW #analysis #development #information management #problem
End-User Development for Individualized Information Management: Analysis of Problem Domains and Solution Approaches (MS, VW), pp. 843–857.
ICMLICML-2009-NowozinJ #clustering #graph #learning #linear #programming
Solution stability in linear programming relaxations: graph partitioning and unsupervised learning (SN, SJ), pp. 769–776.
KDDKDD-2009-DaruruMWG #clustering #data flow #data mining #mining #parallel #pervasive #scalability
Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data (SD, NMM, MW, JG), pp. 1115–1124.
KEODKEOD-2009-DumitrescuK #performance #reuse #self #towards
Towards Social-software for the Efficient Reuse of Solution Patterns for Self-optimizing Systems (RD, BK), pp. 342–347.
KMISKMIS-2009-SonntagM #image #information management #problem #query #repository #semantics
Unifying Semantic Annotation and Querying in Biomedical Image Repositories — One Solution for Two Problems of Medical Knowledge Engineering (DS, MM), pp. 89–94.
SEKESEKE-2009-AlvesPCL #approach #development #lifecycle #lightweight #outsourcing
From Strategy to Solution: A Lightweight Semi-prescriptive Approach for Software Development Lifecycle with Outsourcing Support (NA, SP, AC, ELJ), pp. 672–675.
SEKESEKE-2009-GaoVSX #2d #mobile
A 2D-barcode Based Mobile Advertising Solution (JZG, HV, SS, JX), pp. 466–472.
GPCEGPCE-2009-SanenTJ #approach #feature model #interactive #problem
Mapping problem-space to solution-space features: a feature interaction approach (FS, ET, WJ), pp. 167–176.
RERE-2009-Zowghi #challenge #education #requirements
Requirements Engineering Education and Training: Key Challenges and Practical Solutions (DZ), p. 358.
SACSAC-2009-AhamedKHZ #security #towards #trust
Towards developing a trust-based security solution (SIA, DK, CSH, MZ), pp. 2204–2205.
SACSAC-2009-AraujoS #embedded #integration #web #web service
The device service bus: a solution for embedded device integration through web services (GMA, FS), pp. 185–189.
SACSAC-2009-BiggarVG #compilation #scripting language
A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SACSAC-2009-TangL #problem
The unique solution for P3P problem (JT, NL), pp. 1138–1139.
SLESLE-2009-Bezivin #problem #question #what
If MDE Is the Solution, Then What Is the Problem? (JB), p. 2.
ICLPICLP-2009-EiterEEF #programming #set
Finding Similar or Diverse Solutions in Answer Set Programming (TE, EE, HE, MF), pp. 342–356.
WICSAWICSA-2008-CuiSM #architecture #automation #design #synthesis #towards
Towards Automated Solution Synthesis and Rationale Capture in Decision-Centric Architecture Design (XC, YS, HM), pp. 221–230.
DACDAC-2008-HaritanHYPWNWM #challenge #design #exclamation #manycore #question #what
Multicore design is the challenge! what is the solution? (EH, TH, HY, PGP, WW, AN, DW, MM), pp. 128–130.
DACDAC-2008-YeZP #analysis #equation #linear #multi
Generalized Krylov recycling methods for solution of multiple related linear equation systems in electromagnetic analysis (ZY, ZZ, JRP), pp. 682–687.
DATEDATE-2008-Fuss #safety
Tailored Solutions for Safety-Installations in the Loetschberg Tunnel — A Project with Importance for the Trans-European Rail Traffic (WF), pp. 21–25.
DATEDATE-2008-MarculescuN #architecture #challenge #design #variability
Design Variability: Challenges and Solutions at Microarchitecture-Architecture Level (DM, SRN).
DATEDATE-2008-Vernay #challenge #embedded #research
Perspective on Embedded Systems: Challenges, Solutions and Research Priorities (DV), p. 2.
DocEngDocEng-2008-LaenderGCFSS #library #problem
Keeping a digital library clean: new solutions to old problems (AHFL, MAG, RGC, AAF, RLTS, AJCS), pp. 257–262.
TACASTACAS-2008-Malik #hardware #verification
Hardware Verification: Techniques, Methodology and Solutions (SM), p. 1.
ICSMEICSM-2008-Li #process
An integrated solution for software process improvement (ML), pp. 472–473.
CIAACIAA-2008-El-FakihY #automaton #equation
Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.
GT-VCGT-VC-2007-BaresiRRS08 #graph transformation #model checking #performance
An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.
CHICHI-2008-KimGSPPW #experience #realtime #user interface
Tracking real-time user experience (TRUE): a comprehensive instrumentation solution for complex systems (JHK, DVG, ES, BP, RJP, DRW), pp. 443–452.
ICEISICEIS-AIDSS-2008-Guzman-ArenasC #heuristic #information management
Knowledge Acquisition with OM — A Heuristic Solution (AGA, ADCR), pp. 356–363.
ICEISICEIS-DISI-2008-BarryS #case study #commit #enterprise #experience #multi #scalability
Hesitancy in Committing to Large-Scale Enterprise Systems Solutions — Experiences at a Multi-national Corporation (CB, WS), pp. 282–289.
ICEISICEIS-HCI-2008-FurtadoSFC #case study #communication #design #interactive #requirements #validation
Promoting Communication and Participation through Enactments of Interaction Design Solutions — A Study Case for Validating Requirements for Digital TV (EF, AS, FF, LC), pp. 268–275.
ICEISICEIS-HCI-2008-PicussaGBFDBSCS #education #interface #online #web
A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web (JP, LSG, JB, MVRF, AID, LCEDB, FS, MAC, MSS), pp. 262–267.
ICMLICML-2008-Rosset #kernel
Bi-level path following for cross validated solution of kernel quantile regression (SR), pp. 840–847.
ICMLICML-2008-RothF #algorithm #linear #modelling #performance
The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms (VR, BF), pp. 848–855.
ICPRICPR-2008-GhoshB #evolution #how #pattern matching #pattern recognition #problem #recognition
How current BNs fail to represent evolvable pattern recognition problems and a proposed solution (NG, BB), pp. 1–4.
ICPRICPR-2008-SukF #automation #equation #invariant
Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.
KRKR-2008-Halpern #concept #equilibrium #nash
Beyond Nash Equilibrium: Solution Concepts for the 21st Century (JYH), pp. 6–15.
MODELSMoDELS-2008-El-BoussaidiM #constraints #design #detection #using
Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.
MODELSMoDELS-2008-El-BoussaidiM #constraints #design #detection #using
Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.
SACSAC-2008-HuangKV #challenge #privacy
Privacy preservation services: challenges and solutions (DH, VK, MV), pp. 2110–2115.
SACSAC-2008-PiresTR #collaboration #internet
A UMLS interoperable solution to support collaborative diagnosis decision making over the internet (DFP, CACT, EESR), pp. 1400–1404.
SACSAC-2008-RoyS #data flow #problem
Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
OSDIOSDI-2008-ChenZMB #automation #case study #dependence #experience #network
Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions (XC, MZ, ZMM, PB), pp. 117–130.
PPoPPPPoPP-2008-ChengCHT #classification #manycore #scalability #using
Scalable packet classification using interpreting: a cross-platform multi-core solution (HC, ZC, BH, XT), pp. 33–42.
ICSTICST-2008-LarssonBF #challenge
Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company (DL, HB, RF), pp. 423–431.
CBSECBSE-2007-Folmer #component #development #game studies #question
Component Based Game Development — A Solution to Escalating Costs and Expanding Deadlines? (EF), pp. 66–73.
CASECASE-2007-ShiomiSOOYKI #2d #problem #process
The Solution of 2-Dimensional Rectangular Cutting Stock Problem Considering Cutting Process (YS, MS, JO, TO, MY, HK, KI), pp. 140–145.
DACDAC-2007-Kwon #challenge #industrial
Perspective of the Future Semiconductor Industry: Challenges and Solutions (OHK).
DATEDATE-2007-FangH #hybrid #performance #satisfiability
A new hybrid solution to boost SAT solver performance (LF, MSH), pp. 1307–1313.
DATEDATE-2007-Huomo #communication #ubiquitous
Emerging solutions technology and business views for the ubiquitous communication (HH), p. 678.
DATEDATE-2007-NeyGLPVB #analysis #fault
Slow write driver faults in 65nm SRAM technology: analysis and March test solution (AN, PG, CL, SP, AV, MB), pp. 528–533.
DATEDATE-2007-SrivastavaR #agile
Rapid and accurate latch characterization via direct Newton solution of setup/hold times (SS, JSR), pp. 1006–1011.
PODSPODS-2007-BarakCDKMT #consistency #privacy
Privacy, accuracy, and consistency too: a holistic solution to contingency table release (BB, KC, CD, SK, FM, KT), pp. 273–282.
PODSPODS-2007-HernichS #dependence
CWA-solutions for data exchange settings with target dependencies (AH, NS), pp. 113–122.
VLDBVLDB-2007-CasatiCDS #process
A Generic solution for Warehousing Business Process Data (FC, MC, UD, NS), pp. 1128–1137.
ITiCSEITiCSE-2007-MullerGH #composition #problem
Pattern-oriented instruction and its influence on problem decomposition and solution construction (OM, DG, BH), pp. 151–155.
CIAACIAA-J-2006-CzeizlerK07 #equation #independence #on the #word
On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns (EC, JK), pp. 873–897.
IFMIFM-2007-GheorghiuGC #logic #query
Finding State Solutions to Temporal Logic Queries (MG, AG, MC), pp. 273–292.
SFMSFM-2007-Ciardo #approach #data transformation #diagrams #performance #representation
Data Representation and Efficient Solution: A Decision Diagram Approach (GC), pp. 371–394.
HCIHCI-AS-2007-MaurtuaUP #smarttech
Experimenting Wearable Solutions for Workers’ Training in Manufacturing (IM, MU, MAP), pp. 663–671.
HCIHCI-AS-2007-UszkoreitXL #challenge #information management #multi
Challenges and Solutions of Multilingual and Translingual Information Service Systems (HU, FX, WL), pp. 132–141.
HCIHIMI-IIE-2007-BehalCKLHCKRS #interactive
Business Insights Workbench — An Interactive Insights Discovery Solution (AB, YC, CAK, AL, BH, JC, JTK, JR, WSS), pp. 834–843.
HCIHIMI-IIE-2007-Bhargav-SpantzelSYB #privacy #requirements
Privacy Requirements in Identity Management Solutions (ABS, ACS, MY, EB), pp. 694–702.
HCIHIMI-IIE-2007-IsaiasM #web #web service
Web Services as a Solution for Maritime Port Information Interoperability (PTI, FMDM), pp. 1029–1038.
HCIHIMI-MTT-2007-KieliszewskiCBLH #analysis #identification #visualisation
A Visualization Solution for the Analysis and Identification of Workforce Expertise (CAK, JC, AB, AL, TH), pp. 317–326.
ICEISICEIS-SAIC-2007-KusterTZKCVBCFT #comparative #evaluation
Service Discovery with SWE-ET and DIANE — A Comparative Evaluation by Means of Solutions to a Common Scenario (UK, AT, MZ, BKR, DC, EDV, MB, SC, FMF, CT), pp. 430–437.
ICEISICEIS-SAIC-2007-Maximilien #approach #challenge #problem #ruby #semantics #using #web #web service
A Partial Solution to the Semantic Web Services Challenge Problem Using Swashup — The Ruby on Rails Services Mashup Approach (EMM), pp. 438–446.
SEKESEKE-2007-ColziMNR #architecture #component
A Component-Based Solution and Architecture for Dynamic Service-Based Applications (AC, TM, PN, DR), p. 637–?.
SEKESEKE-2007-PengJRZ #case study #component #database #product line #reuse
Reuse of Database Access Layer Components in JEE Product Lines: Limitations and a Possible Solution (Case Study) (DP, SJ, DCR, HZ), pp. 308–313.
MODELSMoDELS-2007-BrownDJ #design #implementation
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.
MODELSMoDELS-2007-BrownDJ #design #implementation
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.
SACSAC-2007-ViroliCG #distributed #problem #self #tuple
A self-organising solution to the collective sort problem in distributed tuple spaces (MV, MC, LG), pp. 354–359.
PPoPPPPoPP-2007-BuehrerPTKS #architecture #mining #towards
Toward terabyte pattern mining: an architecture-conscious solution (GB, SP, ST, TMK, JHS), pp. 2–12.
CASECASE-2006-Wen #collaboration #design #problem #research
A Model for Industry-University Collaborative Research: Transforming Specific Problem Solution into Broad Design Methodologies (JTW), p. 1.
DACDAC-2006-MacNeilS
Solution-processed infrared photovoltaic devices (DDM, EHS), pp. 636–638.
DACDAC-2006-WaghmodeLS #scalability
Buffer insertion in large circuits with constructive solution search techniques (MW, ZL, WS), pp. 296–301.
DATEDATE-DF-2006-CampobelloCCM #network
GALS networks on chip: a new solution for asynchronous delay-insensitive links (GC, MC, CC, DM), pp. 160–165.
DRRDRR-2006-RahmanTHA #automation #documentation #enterprise #web
An automatically updateable web publishing solution: taking document sharing and conversion to enterprise level (FR, YT, RH, HA).
CSMRCSMR-2006-Sommer #lifecycle #maintenance
Product Innovation Lifecycle Maintenance and Solution Management at SAP (WS), p. 312.
CSMRCSMR-2006-Zaidman #comprehension #dynamic analysis #scalability
Scalability Solutions for Program Comprehension through Dynamic Analysis (AZ), pp. 327–330.
STOCSTOC-2006-AchlioptasR #constraints #geometry #on the #problem #random
On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.
EDOCEDOC-2006-ShanH #architecture
Solution Architecting Mechanism (TCS, WWH), pp. 23–34.
ICEISICEIS-ISAS-2006-PetersenLA #elicitation #modelling #requirements #validation
Interoperablity Requirements Elicitation, Validation and Solutions Modelling (SAP, FML, MA), pp. 152–159.
ICEISICEIS-ISAS-2006-RinderleBRB #case study #challenge #process #visualisation
Business Process Visualization — Use Cases, Challenges, Solutions (SR, RB, MR, TB), pp. 204–211.
ICMLICML-2006-GreeneC #clustering #documentation #kernel #problem
Practical solutions to the problem of diagonal dominance in kernel document clustering (DG, PC), pp. 377–384.
ICMLICML-2006-PoupartVHR #learning
An analytic solution to discrete Bayesian reinforcement learning (PP, NAV, JH, KR), pp. 697–704.
ICMLICML-2006-WangYL #2d
Two-dimensional solution path for support vector regression (GW, DYY, FHL), pp. 993–1000.
ICPRICPR-v1-2006-QiuGDC #image #optimisation #using
Tone Mapping for HDR Image using Optimization A New Closed Form Solution (GQ, JG, JD, MC), pp. 996–999.
ICPRICPR-v2-2006-CourteilleDM #problem #using
A Global Solution to the SFS Problem Using B-spline Surface and Simulated Annealing (FC, JDD, GM), pp. 332–335.
KDDKDD-2006-TongF #performance #problem
Center-piece subgraphs: problem definition and fast solutions (HT, CF), pp. 404–413.
SEKESEKE-2006-SunZLT #component #composition #design #execution #framework #logic
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.
MODELSMoDELS-2006-CeriaC #case study #development
Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.
MODELSMoDELS-2006-CeriaC #case study #development
Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.
RERE-2006-AxenathGKF #evaluation #synthesis
Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.
RERE-2006-WendlandPO
Optimal Solutions for Hospital Websites (KW, CP, PO), pp. 228–233.
SACSAC-2006-AdvaniHC #open source #refactoring #roadmap
Extracting refactoring trends from open-source software and a possible solution to the “related refactoring” conundrum (DA, YH, SC), pp. 1713–1720.
SACSAC-2006-AltLM #linear #on the #probability #problem #using
On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.
SACSAC-2006-Goldsztejn #algorithm #approximate #branch #set
A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.
SACSAC-2006-KirdaKVJ #named
Noxes: a client-side solution for mitigating cross-site scripting attacks (EK, CK, GV, NJ), pp. 330–337.
LICSLICS-2006-PitermanP #game studies #performance
Faster Solutions of Rabin and Streett Games (NP, AP), pp. 275–284.
CASECASE-2005-LowWW #development #on the #realtime #using
On the development of a real time control system by using xPC Target: solution to robotic system control (KHL, HW, MYW), pp. 345–350.
CASECASE-2005-PeddiZCC #automation #effectiveness #performance
Efficient and effective path for automated dispensing of bio-precipitant solutions (AP, YFZ, VC, MC), pp. 61–66.
DACDAC-2005-MokhoffZRNPK #how
How to determine the necessity for emerging solutions (NM, YZ, KNR, HN, FP, KSK), pp. 274–275.
DACDAC-2005-TschanzBD
Variation-tolerant circuits: circuit solutions and techniques (JT, KAB, VD), pp. 762–763.
DATEDATE-2005-LoghiP #energy #memory management #performance #trade-off
Exploring Energy/Performance Tradeoffs in Shared Memory MPSoCs: Snoop-Based Cache Coherence vs. Software Solutions (ML, MP), pp. 508–513.
DATEDATE-2005-MishchenkoBJVY #equation #performance #using
Efficient Solution of Language Equations Using Partitioned Representations (AM, RKB, JHRJ, TV, NY), pp. 418–423.
PODSPODS-2005-Gottlob #algorithm
Computing cores for data exchange: new algorithms and practical solutions (GG), pp. 148–159.
ITiCSEITiCSE-2005-BassL #education #using
Teaching to analyze solutions using FGA (IB, DL), p. 360.
IFLIFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.
ICEISICEIS-v2-2005-BardisMP #evaluation
Intelligent Solution Evaluation Based on Alternative User Profiles (GB, GM, DP), pp. 74–82.
ICEISICEIS-v2-2005-Liu
Defending Against Business Crises with the Help of Intelligent Agent Based Early Warning Solutions (SL), pp. 58–65.
ICEISICEIS-v2-2005-MashechkinPR #anti #approach #enterprise #machine learning
Enterprise Anti-Spam Solution Based on Machine Learning Approach (IM, MP, AR), pp. 188–193.
CIKMCIKM-2005-HerzogLD #information management
SyynX solutions: practical knowledge management in a medical environment (CH, GL, MD), pp. 556–559.
SACSAC-2005-BeszteriV #adaptation #documentation #editing
An XForms based solution for adaptable documents editing (IB, PV), pp. 769–775.
SACSAC-2005-SpohnG #network #problem #set #using
A solution for the location problem in arbitrary computer networks using generic dominating sets (MAS, JJGLA), pp. 739–743.
GTTSEGTTSE-2005-PorkolabZ #c++ #composition #metaprogramming #problem
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.
ICLPICLP-2005-DovierFP #comparison #problem
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems (AD, AF, EP), pp. 67–82.
ICLPICLP-2005-StuckeyBMMSSWW #independence #modelling #performance
The G12 Project: Mapping Solver Independent Models to Efficient Solutions (PJS, MJGdlB, MJM, KM, JKS, ZS, MW, TW), pp. 9–13.
ICSTSAT-2005-GentR #learning
Local and Global Complete Solution Learning Methods for QBF (IPG, AGDR), pp. 91–106.
DACDAC-2004-AntonelliCDHKKMN #automaton #clustering #modelling #problem
Quantum-Dot Cellular Automata (QCA) circuit partitioning: problem modeling and solutions (DAA, DZC, TJD, XSH, ABK, PMK, RCM, MTN), pp. 363–368.
DACDAC-2004-KogelM #energy
Heterogeneous MP-SoC: the solution to energy-efficient signal processing (TK, HM), pp. 686–691.
DATEDATE-v1-2004-LapalmeANCBDB #dot-net #framework #generative #modelling #simulation #tool support
.NET Framework — A Solution for the Next Generation Tools for System-Level Modeling and Simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 732–733.
DATEDATE-v1-2004-LiHS #novel #performance #satisfiability
A Novel SAT All-Solutions Solver for Efficient Preimage Computation (BL, MSH, SS), pp. 272–279.
VLDBVLDB-2004-BraganholoDH #problem #relational #xml
From XML View Updates to Relational View Updates: old solutions to a new problem (VPB, SBD, CAH), pp. 276–287.
ITiCSEITiCSE-2004-MintonBD #case study #problem
If diversity is a problem could e-learning be part of the solution?: a case study (LM, RDB, VD), pp. 42–46.
CIAACIAA-2004-Lugiez #automaton #linear #logic #set
From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P) (DL), pp. 321–322.
DLTDLT-2004-GruskaTP #array #communication #problem
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings (JG, SLT, MP), pp. 200–211.
ICALPICALP-2004-Kunc
Regular Solutions of Language Inequalities and Well Quasi-orders (MK), pp. 870–881.
CHICHI-2004-TerryMNY #development
Variation in element and action: supporting simultaneous development of alternative solutions (MAT, EDM, KN, YY), pp. 711–718.
ICEISICEIS-v3-2004-CheungHY #problem
The Delegation Problem and Practical PKI-Based Solutions (VLSC, LCKH, SMY), pp. 73–84.
ICEISICEIS-v5-2004-IsaevN
E-Library Technical Solution: An Example of ETU “LETI” (YI, AN), pp. 285–288.
ICMLICML-2004-Forman #classification #feature model #multi
A pitfall and solution in multi-class feature selection for text classification (GF).
TOOLSTOOLS-USA-2003-HamzaE04 #analysis #problem
Applying Analysis Patterns Through Analogy: Problems and Solutions (HSH, MEF), pp. 197–208.
RERE-2004-Cleland-HuangZL #requirements #traceability
A Heterogeneous Solution for Improving the Return on Investment of Requirements Traceability (JCH, GZ, WL), pp. 230–239.
SACSAC-2004-IwaiharaJK #implementation #workflow
An integrated model of workflows, e-contracts and solution implementation (MI, HJ, YK), pp. 1390–1395.
CCCC-2004-ParkerC #algorithm
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas (EP, SC), pp. 104–119.
HPDCHPDC-2004-DenisAHVKB #communication #performance #problem #security
Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems (AD, OA, RFHH, KV, TK, HEB), pp. 97–106.
HPDCHPDC-2004-RipeanuBCFM #resource management
Globus and PlanetLab Resource Management Solutions Compared (MR, MB, JSC, ITF, MM), pp. 246–255.
LCTESLCTES-2004-LapalmeANCBDB #embedded #modelling #simulation
ESys.Net: a new solution for embedded systems modeling and simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 107–114.
LICSLICS-2004-SeshiaB #bound #quantifier #using
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds (SAS, REB), pp. 100–109.
ASEASE-2003-Agrawal #graph grammar
Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck (AA), pp. 364–368.
DATEDATE-2003-GlaesonP #design
Designing System-Level Software Solutions for Open OS’s on 3g Wireless Handsets (SG, EP), p. 20040.
DATEDATE-2003-Pirola #hardware #memory management
A Solution for Hardware Emulation of Non Volatile Memory Macrocells (AP), pp. 20262–20267.
DATEDATE-2003-SchlebuschSSGMLGSK #design #problem #question #transaction
Transaction Based Design: Another Buzzword or the Solution to a Design Problem? (HJS, GS, DS, DG, CM, CKL, FG, SS, JK), pp. 10876–10879.
HTHT-2003-WangL #enterprise #hypermedia #realtime
A cooperative hypermedia solution to work management in real-time enterprises (WW, FML), pp. 196–197.
ICDARICDAR-2003-BooseSB #interactive #scalability
A Scalable Solution for Integrating Illustrated Parts Drawings into a Class IV Interactive Electronic Technical Manual (MLB, DBS, LSB), pp. 309–313.
CIAACIAA-2003-DaleyEM #automaton #probability #retrieval
Bag Automata and Stochastic Retrieval of Biomolecules in Solution (MD, MGE, IM), pp. 239–250.
CIAACIAA-2003-XieLD #complexity #equation #linear #problem #using
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (GX, CL, ZD), pp. 163–175.
ICALPICALP-2003-BansalAM #multi #performance
Stable Marriages with Multiple Partners: Efficient Search for an Optimal Solution (VB, AA, VSM), pp. 527–542.
EDOCEDOC-2003-SgottiRS #monitoring
A MOM-based Solution for Remote Monitoring of Equipment in Mines (VACS, NSR, WJdS), pp. 321–326.
ICEISICEIS-v1-2003-GouveiaG #roadmap
Assuming a Roadmap Strategy for E-Business: Matching the Right Solution Over a Thousand Answers (FRG, LBG), pp. 550–553.
ICEISICEIS-v1-2003-JouanotCY #distance #integration #semantics
A Solution for Contextual Integration Based on the Calculation of a Semantic Distance (FJ, NC, KY), pp. 483–486.
ICEISICEIS-v4-2003-Fernandes #future of
The Future of Telephony: The IP Solution (SF), pp. 206–211.
ICMLICML-2003-YuL #feature model #performance
Feature Selection for High-Dimensional Data: A Fast Correlation-Based Filter Solution (LY, HL), pp. 856–863.
SACSAC-2003-BreeseSMGE #analysis #array #framework #information management
Labrat LIMS: An Extensible Framework for Developing Laboratory Information Management, Analysis, and Bioinformatics Solutions for Microarrays (MRB, MJS, JNM, MWG, HJE), pp. 103–108.
CADECADE-2003-CohenMPS #permutation #problem
Certifying Solutions to Permutation Group Problems (AMC, SHM, MP, VS), pp. 258–273.
ICSTSAT-2003-KhurshidMSJ #performance
A Case for Efficient Solution Enumeration (SK, DM, IS, DJ), pp. 272–286.
ICSTSAT-2003-MneimnehS #graph #scalability
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution (MNM, KAS), pp. 411–425.
DACDAC-2002-MegerianDP #integer #linear #programming
Watermarking integer linear programming solutions (SM, MD, MP), pp. 8–13.
VLDBVLDB-2002-LiHKSPAC #web
Issues and Evaluations of Caching Solutions for Web Application Acceleration (WSL, WPH, DVK, RS, OP, DA, KSC), pp. 1019–1030.
CHICHI-2002-McGrenereBB #design #evaluation #interface #multi
An evaluation of a multiple interface design solution for bloated software (JM, RB, KSB), pp. 164–170.
ICEISICEIS-2002-EderKK
Temporal Data Warehousing: Business Cases and Solutions (JE, CK, HK), pp. 81–88.
RERE-2002-GrossMZH #convergence #development
The Reference Point Method: Requirements-Based ICT Convergence Solution Development (WG, TM, FZ, CH), p. 193.
SACSAC-2002-BesnardL #constraints #design #identification #industrial #lessons learnt #optimisation #re-engineering #reuse
Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse (DB, ATL), pp. 732–738.
SACSAC-2002-Pillay #algorithm #induction #programming #search-based #using
Using genetic programming for the induction of novice procedural programming solution algorithms (NP), pp. 578–583.
CAVCAV-2002-RybinaV #canonical #infinity #model checking #using
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking (TR, AV), pp. 386–400.
DACDAC-2001-KarandikarS #logic
Technology Mapping for SOI Domino Logic Incorporating Solutions for the Parasitic Bipolar Effect (SKK, SSS), pp. 377–382.
DACDAC-2001-WolfeWP #clustering #graph
Watermarking Graph Partitioning Solutions (GW, JLW, MP), pp. 486–489.
DATEDATE-2001-GielenSCMR #challenge #design
Design challenges and emerging EDA solutions in mixed-signal IC design (GGEG, BS, HC, PM, JR), pp. 694–695.
DATEDATE-2001-YeungHMMZ #integration #question #standard #what
Standard bus vs. bus wrapper: what is the best solution for future SoC integration? (CY, AH, GM, JM, JZ), pp. 776–777.
VLDBVLDB-2001-DattaDTVRF #case study #comparative #web
A Comparative Study of Alternative Middle Tier Caching Solutions to Support Dynamic Web Content Acceleration (AD, KD, HMT, DEV, KR, DF), pp. 667–670.
ITiCSEITiCSE-2001-Sooriamurthi #problem #recursion
Problems in comprehending recursion and suggested solutions (RS), pp. 25–28.
TACASTACAS-2001-RiccaT #analysis #problem #testing #web
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions (FR, PT), pp. 373–388.
STOCSTOC-2001-AlfaroM #game studies
Quantitative solution of ω-regular games (LdA, RM), pp. 675–683.
CIAACIAA-2001-BoigelotL #equation
Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.
ICALPICALP-2001-BorosEGKM #generative #integer #linear #on the
On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities (EB, KME, VG, LK, KM), pp. 92–103.
CIKMCIKM-2001-HuangPC #mobile #on-demand
Binary Interpolation Search for Solution Mapping on Broadcast and On-demand Channels in a Mobile Computing Environment (JLH, WCP, MSC), pp. 434–441.
MLDMMLDM-2001-IndurkhyaW #rule-based
Rule-Based Ensemble Solutions for Regression (NI, SMW), pp. 62–72.
TOOLSTOOLS-USA-2001-KhrissBP #integration #named
GAIL: The Gen-It (r) Abstract Integration Layer for B2B Application Integration Solutions (IK, MB, NP), pp. 73–82.
HPDCHPDC-2001-SchuchardtMS #authoring #data transformation #distributed #open data #problem #version control
Open Data Management Solutions for Problem Solving Environments: Application of Distributed Authoring and Versioning to the Extensible Computational Chemistry Environment (KS, JDM, EGS), p. 228–?.
DATEDATE-2000-GirolaPV
Smart Antenna Receiver Based on a Single Chip Solution for GSM/DCS Baseband Processing (UG, AP, DV), pp. 181–185.
DATEDATE-2000-LennardSJHH #design #question #standard
Standards for System-Level Design: Practical Reality or Solution in Search of a Question? (CKL, PS, GGdJ, AH, PH), pp. 576–583.
DATEDATE-2000-ShenoyBC #algorithm #quality #synthesis
A System-Level Synthesis Algorithm with Guaranteed Solution Quality (UNS, PB, ANC), pp. 417–424.
VLDBVLDB-2000-Nori #architecture #named
Asera: Extranet Architecture for B2B Solutions (AN), p. 681.
ITiCSEITiCSE-2000-BurgosGGMMV #design #refinement #specification
Abstract solution design by specification refinement (JMB, JG, JG, JJM, SM, DV), p. 186.
ICALPICALP-2000-BolligW #bound #problem
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems (BB, IW), pp. 187–198.
CSCWCSCW-2000-DaijavadFFFLTW #experience #user interface
User experience of CLIVE/mbanx solution (SD, THF, TF, TF, AL, MT, CGW), p. 352.
ICPRICPR-v1-2000-GrossmannV #re-engineering
A Closed-Form Solution for Paraperspective Reconstruction (EG, JSV), pp. 1864–1867.
ICPRICPR-v1-2000-NielsenP #adaptation #problem #representation #segmentation #using
A Solution to the Problem of Segmentation near Edges Using Adaptable Class-Specific Representation (CFN, PJP), pp. 1436–1440.
ICPRICPR-v1-2000-WangT #composition #matrix
An SVD Decomposition of Essential Matrix with Eight Solutions for the Relative Positions of Two Perspective Cameras (WW, HTT), pp. 1362–1365.
ICPRICPR-v3-2000-RoyG #probability
MRF Solutions for Probabilistic Optical Flow Formulations (SR, VG), pp. 7053–7059.
ECOOPECOOP-2000-GrogonoS #problem
Copying and Comparing: Problems and Solutions (PG, MS), pp. 226–250.
TOOLSTOOLS-EUROPE-2000-Pour #component #development #enterprise #java
Enterprise JavaBeans (EJB): New Opportunities for Component-Based Development of Web-Based Enterprise Solutions (GP), p. 473.
ICSEICSE-2000-Bryant #problem #question #re-engineering
It’s engineering Jim ... but not as we know it: software engineering — solution to the software crisis, or part of the problem? (AB), pp. 78–87.
DATEDATE-1999-WambacqDZEMB
A Single-Package Solution for Wireless Transceivers (PW, SD, HZ, ME, HDM, IB), p. 425–?.
HTHT-1999-KaindlKD #generative #taxonomy
Semiautomatic Generation of Glossary Links: A Practical Solution (HK, SK, PSND), pp. 3–12.
ICDARICDAR-1999-BlumensteinV #benchmark #database #metric #recognition #segmentation #word
Neural-based Solutions for the Segmentation and Recognition of Difficult Handwritten Words from a Benchmark Database (MB, BV), pp. 281–284.
VLDBVLDB-1999-DattaRT #named #novel #performance
Curio: A Novel Solution for Efficient Storage and Indexing in Data Warehouses (AD, KR, HMT), pp. 730–733.
ITiCSEITiCSE-1999-MadejW #education #intranet #named
IntraED — an intranet solution for EDucation (JM, TW), p. 203.
STOCSTOC-1999-Zwick99a #problem #programming
Outward Rotations: A Tool for Rounding Solutions of Semidefinite Programming Relaxations, with Applications to MAX CUT and Other Problems (UZ), pp. 679–687.
ICALPICALP-1999-DickhoferW #automaton #model checking #problem
Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem (MD, TW), pp. 281–290.
HCIHCI-CCAD-1999-Menzel #design
New design solution for call center work places from the point of view of furniture manufacturer (DM), pp. 1327–1331.
HCIHCI-CCAD-1999-Niemeier #network #web #web service
Networking Companies: from basic web services to business solutions (JN), pp. 467–471.
HCIHCI-CCAD-1999-Rentzsch #design
Human-computer-interactions in call centres — ergonomic demands and design solutions (MR), pp. 1311–1315.
AdaEuropeAdaEurope-1999-Frost #ada #certification #embedded #safety
An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
ICMLICML-1999-GiordanaP #behaviour #on the
On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.
KDDKDD-1999-RossetMNIP #challenge
Discovery of Fraud Rules for Telecommunications — Challenges and Solutions (SR, UM, EN, YI, GP), pp. 409–413.
SIGIRSIGIR-1999-Baumgarten #distributed #information retrieval #problem
A Probabilitstic Solution to the Selection and Fusion Problem in Distributed Information Retrieval (CB), pp. 246–253.
HPDCHPDC-1999-CastanosS #adaptation #framework #named
PARED: A Framework for the Adaptive Solution of PDEs (JGC, JES), pp. 133–140.
DATEDATE-1998-Catthoor #architecture #design #energy #performance
Energy-Delay Efficient Data Storage and Transfer Architectures: Circuit Technology versus Design Methodology Solutions (FC), pp. 709–714.
SIGMODSIGMOD-1998-Kennamer #data transformation #transaction
Microsoft.com: A High-Scale Data Management and Transaction Processing Solution (SK), pp. 539–540.
VLDBVLDB-1998-CarinoO #execution #optimisation #parallel
Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.
ICSMEICSM-1998-CherinkaOR #maintenance #off the shelf #programming #question #static analysis
Maintaining a COTS Integrated Solution — Are Traditional Static Analysis Techniques Sufficient for this New Programming Methodology? (RC, CMO, JR), pp. 160–169.
SASSAS-1998-GoyalP #problem
A New Solution to the Hidden Copy Problem (DG, RP), pp. 327–348.
STOCSTOC-1998-BeigelBF #detection
NP Might Not Be As Easy As Detecting Unique Solutions (RB, HB, LF), pp. 203–208.
ICALPICALP-1998-Danvy
A Simple Solution to Type Specialization (OD), pp. 908–917.
ICALPICALP-1998-PlandowskiR #encoding #equation #word
Application of Lempel-Ziv Encodings to the Solution of Words Equations (WP, WR), pp. 731–742.
ICPRICPR-1998-IshiiMT #detection #image #realtime #using #video
Detection of foreign substances mixed in a plastic bottle of medicinal solution using real-time video image processing (AI, TM, ST), pp. 1646–1650.
KDDKDD-1998-LingL #data mining #mining #problem
Data Mining for Direct Marketing: Problems and Solutions (CXL, CL), pp. 73–79.
KDDKDD-1998-OatesJ #dataset #modelling #scalability
Large Datasets Lead to Overly Complex Models: An Explanation and a Solution (TO, DJ), pp. 294–298.
OOPSLAOOPSLA-1998-SolorzanoA #java #morphism #parametricity #polymorphism
Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.
PPDPALP-PLILP-1998-Aoto #persistent #problem #term rewriting
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems (TA), pp. 250–265.
RTARTA-1998-Schmidt-SchaussS #equation #on the
On the Exponent of Periodicity of Minimal Solutions of Context Equation (MSS, KUS), pp. 61–75.
DACDAC-1997-DengiR #2d #modelling
Hierarchical 2-D Field Solution for Capacitance Extraction for VLSI Interconnect Modeling (EAD, RAR), pp. 127–132.
DATEEDTC-1997-Sachdev #testing
Deep sub-micron IDDQ testing: issues and solutions (MS), pp. 271–278.
DATEEDTC-1997-VerhaeghLAM #approach #multi #scheduling
Multidimensional periodic scheduling: a solution approach (WFJV, PERL, EHLA, JLvM), pp. 468–474.
ICDARICDAR-1997-BaumannADJMWW #documentation
Message Extraction from Printed Documents — A Complete Solution (SB, MBHA, AD, TJ, MM, AW, CW), pp. 1055–1059.
ICSMEICSM-2000-Lynd #2d #maintenance #using
Living with the 2-digit Year Year 2000 Maintenance Using a Procedural Solution (ECL), p. 206–?.
STOCSTOC-1997-Pan #equation #performance
Faster Solution of the Key Equation for Decoding BCH Error-Correcting Codes (VYP), pp. 168–175.
FMFME-1997-MokkedemFJ #protocol #specification #verification
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol (AM, MJF, RdBJ), pp. 398–417.
TOOLSTOOLS-USA-1997-MattssonB #composition #framework #problem
Framework Composition: Problems, Causes and Solutions (MM, JB), pp. 203–214.
SACSAC-1997-LinXY #analysis #parallel #performance #problem
Performance analysis for parallel solutions to generic search problems (WML, WX, BY), pp. 422–430.
SACSAC-1997-Maddi #problem
Token based solutions to M resources allocation problem (AM), pp. 340–344.
RTARTA-1997-TomasF #equation #geometry #linear #using
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.
DACDAC-1996-RoychowdhuryM #scalability
Homotopy Techniques for Obtaining a DC Solution of Large-Scale MOS Circuits (JSR, RCM), pp. 286–291.
SIGMODSIGMOD-1996-GrayHOS #replication
The Dangers of Replication and a Solution (JG, PH, PEO, DS), pp. 173–182.
ITiCSEITiCSE-1996-Jones #distance #education #problem
Computing by distance education: problems and solutions (DJ), pp. 139–146.
FMFME-1996-ChalinGR #identification #interface #specification
Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language (PC, PG, TR), pp. 385–404.
AdaEuropeAdaEurope-1996-MillanB #ada #performance #persistent
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 (TM, PB), pp. 396–412.
ICMLICML-1996-LiuS #approach #feature model #probability
A Probabilistic Approach to Feature Selection — A Filter Solution (HL, RS), pp. 319–327.
ICPRICPR-1996-CharvillatT #3d #modelling #probability
Registration of stereo-based 3D maps for object modeling: a stochastic yet intelligent solution (VC, BT), pp. 780–785.
ICPRICPR-1996-HillCT
Least-squares solution of absolute orientation with non-scalar weights (AH, TFC, CJT), pp. 461–465.
ICPRICPR-1996-MollerGW #clustering #network #performance
Fast vector quantizer on neural clustering networks providing globally optimal cluster solutions (UM, MG, HW), pp. 351–355.
ICPRICPR-1996-Pito #problem
A sensor-based solution to the “next best view” problem (RP), pp. 941–945.
HPDCHPDC-1996-NicklasASW #clustering #parallel #problem
A Parallel Solution to the Cutting Stock Problem for a Cluster of Workstations (LDN, RWA, SS, PYW), pp. 521–530.
DACDAC-1995-MeijsG
Delayed Frontal Solution for Finite-Element Based Resistance Extraction (NPvdM, AJvG), pp. 273–278.
SIGMODSIGMOD-1995-Freeston #problem
A General Solution of the n-dimensional B-tree Problem (MF), pp. 80–91.
TACASTACAS-1995-Tofts #approximate #probability #process
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes (CMNT), pp. 174–194.
STOCSTOC-1995-Reif #parallel #performance #polynomial
Work efficient parallel solution of Toeplitz systems and polynomial GCD (JHR), pp. 751–761.
DLTDLT-1995-Lipponen #on the #problem
On F-Prime Solutions of the Post Correspondence Problem (ML), pp. 139–147.
ICALPICALP-1995-Lipponen #problem #word
Post Correspondence Problem: Words Possible as Primitive Solutions (ML), pp. 63–74.
AdaTRI-Ada-1995-Shumate95b #analysis #design #functional #object-oriented #requirements
BATCES Solution #1: An Object-Oriented Design from Functional Requirements Analysis (KS), pp. 737–739.
CIKMCIKM-1995-DashH #knowledge base #matrix #multi #semantics
The Semantic Matrix Model (SMM): A Knowledge Based Solution to Semantic Homogeneity in Multidatabases (KID, ARH), pp. 122–128.
ICMLICML-1995-Schmidhuber #complexity
Discovering Solutions with Low Kolmogorov Complexity and High Generalization Capability (JS), pp. 488–496.
HPCAHPCA-1995-KimMJAJK #effectiveness #named #problem
U-Cache: A Cost-Effective Solution to the Synonym Problem (JK, SLM, SJ, BA, DKJ, CSK), pp. 243–252.
RTARTA-1995-AbdulrabM #equation #linear
General Solution of Systems of Linear Diophantine Equations and Inequations (HA, MM), pp. 339–351.
PLDIPLDI-1994-Pugh #how #why
Counting Solutions to Presburger Formulas: How and Why (WP), pp. 121–134.
ICALPICALP-1994-Seidl #equation
Least Solutions of Equations over N (HS), pp. 400–411.
SACSAC-1994-Duben #simulation
The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study (AJD), pp. 561–565.
HPDCHPDC-1994-PramanickP #distributed #evaluation #fault #problem #quality
Distributed Solutions to the Delay Fault Test Quality Evaluation Problem (IP, AKP), pp. 177–185.
DACDAC-1993-HuangPS #approach #approximate #heuristic #polynomial #problem
A Polynomial-Time Heuristic Approach to Approximate a Solution to the False Path Problem (STH, TMP, JMS), pp. 118–122.
ICDARICDAR-1993-RochaP #problem
A solution to the problem of touching and broken characters (JR, TP), pp. 602–605.
ICALPICALP-1993-Contejean #reduction
A Partial Solution for D-Unification Based on a Reduction to AC1-Unification (EC), pp. 621–632.
SEKESEKE-1993-BombanaBCFSZ #analysis #functional #testing
An Expert Solution to Functional Testability Analysis of VLSI Circuits (MB, GB, PC, FF, DS, GZ), pp. 263–265.
SACSAC-1993-AdusumilliO #distributed
An Integrated Solution for Managing Replicated Data in Distributed Systems (PRA, LJO), pp. 351–357.
SACSAC-1993-SekharanW #algorithm #search-based
Manipulating Subpopulations of Feasible and Infeasible Solutions in Genetic Algorithms (DAS, RLW), pp. 118–125.
SACSAC-1993-Spring #automation #benchmark #generative #metric
Benchmarking Automated Solution Generators for the Crozzle (JS), pp. 247–250.
HPDCHPDC-1993-Pramanick #distributed #problem
Distributed Computing Solutions to the All-Pairs Shortest Path Problem (IP), pp. 196–203.
CSLCSL-1993-GradelM #problem #random
Approximable Minimization Problems and Optimal Solutions on Random Inputs (EG, AM), pp. 139–149.
SIGMODSIGMOD-1992-MehrotraRBKS #concurrent #multi #problem
The Concurrency Control Problem in Multidatabases: Characteristics and Solutions (SM, RR, YB, HFK, AS), pp. 288–297.
AdaEuropeAdaEurope-1992-Do #ada #challenge #compilation #integration #reuse
Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms (TND), pp. 230–241.
CCCC-1992-Assmann #problem
Another Solution of Scoping Problems in Symbol Tables (WA), pp. 66–71.
HPDCHPDC-1992-SinghAW #performance
Computing Radiosity Solution on a High Performance Workstation LAN (GBS, SGA, FHW), pp. 248–257.
CSLCSL-1992-BehrendtCG #approximate #optimisation #problem
Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.
ICALPICALP-1991-RanjanCR
Improving Known Solutions is Hard (DR, SC, PR), pp. 381–392.
ICLPICLP-1991-Scowen #bibliography #problem #prolog #standard
An Overview of Prolog Standardization — Progress, Problems and Solutions (RSS), pp. 922–936.
RTARTA-1991-Pottier #algorithm #bound #linear
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms (LP), pp. 162–173.
ICALPICALP-1990-PanR #multi #on the
On the Bit-Complexity of Discrete Solutions of PDEs: Compact Multigrid (VYP, JHR), pp. 612–625.
ICGTGG-1990-Bauderon #equation #recursion
General Solution to a System of Recursive Equations (MB), pp. 113–126.
ICLPNACLP-1990-KaleR #parallel
Joining AND Parallel Solutions in AND/OR Parallel Systems (LVK, BR), pp. 624–641.
DACDAC-1989-Ghewala #named #testing
CrossCheck: A Cell Based VLSI Testability Solution (TG), pp. 706–709.
DACDAC-1989-Libeskind-HadasL #network #problem
Solutions to the Module Orientation and Rotation Problems by Neural Computation Networks (RLH, CLL), pp. 400–405.
KRKR-1989-Baker #problem
A Simple Solution to the Yale Shooting Problem (ABB), pp. 11–20.
KRKR-1989-Davis
Solutions to a Paradox of Perception with Limited Acuity (ED), pp. 79–82.
KRKR-1989-Kasif #constraints #parallel #problem
Parallel Solutions to Constraint Satisfaction Problems (SK), pp. 180–188.
KRKR-1989-RossiM #constraints #linear #network #using
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation (FR, UM), pp. 394–399.
ICMLML-1989-Mahadevan #problem #using
Using Determinations in EBL: A Solution to the incomplete Theory Problem (SM), pp. 320–325.
OOPSLAOOPSLA-1989-RossonG #design #object-oriented #problem
Problem-Solution Mapping in Object-Oriented Design (MBR, EG), pp. 7–10.
LICSLICS-1989-KfouryTU #problem #unification
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) (AJK, JT, PU), pp. 98–105.
ICLPNACLP-1989-SaletoreK #execution #logic programming #parallel #performance #source code
Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs (VAS, LVK), pp. 390–406.
DACDAC-1988-BhandariHS #problem #towards
The Min-cut Shuffle: Toward a Solution for the Global Effect Problem of Min-cut Placement (ISB, MH, DPS), pp. 681–685.
DACDAC-1988-CongW #how
How to Obtain More Compactable Channel Routing Solutions (JC, DFW), pp. 663–666.
DACDAC-1988-PillageR #metric #polynomial
A Quadratic Metric with a Simple Solution Scheme for Initial Placement (LTP, RAR), pp. 324–329.
CADECADE-1988-DonatW #higher-order #learning #using
Learning and Applying Generalised Solutions using Higher Order Resolution (MRD, LAW), pp. 41–60.
ICGTGG-1986-MontanariR #algorithm #constraints #network #performance
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints (UM, FR), pp. 440–457.
LICSLICS-1986-AmadioBL #equation #higher-order #λ-calculus
The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
STOCSTOC-1985-FriedlR #algebra #polynomial #problem
Polynomial Time Solutions of Some Problems in Computational Algebra (KF, LR), pp. 153–162.
STOCSTOC-1985-PanR #linear #parallel #performance
Efficient Parallel Solution of Linear Systems (VYP, JHR), pp. 143–152.
STOCSTOC-1985-ValiantV #detection
NP Is as Easy as Detecting Unique Solutions (LGV, VVV), pp. 458–463.
ICALPICALP-1985-ChazelleE #problem #retrieval
Optimal Solutions for a Class of Point Retrieval Problems (BC, HE), pp. 80–89.
ICLPSLP-1985-Naish85 #prolog
All Solutions Predicates in Prolog (LN), pp. 73–77.
STOCSTOC-1984-FredericksonS #data type #online
Data Structures for On-Line Updating of Matroid Intersection Solutions (Preliminary Version) (GNF, MAS), pp. 383–390.
STOCSTOC-1984-GoldbergM #on the #problem
On Finding the Exact Solution of a Zero-One Knapsack Problem (AVG, AMS), pp. 359–368.
ICALPICALP-1983-CohenLP #distributed #problem #symmetry
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract) (SC, DJL, AP), pp. 128–136.
SIGIRSIGIR-1983-Rijsbergen83a #information retrieval
Information Retrieval: New Directions, Old Solutions (CJvR), pp. 264–265.
VLDBVLDB-1982-Shoshani #database #problem #statistics
Statistical Databases: Characteristics, Problems, and some Solutions (AS), pp. 208–222.
DACDAC-1981-PeledC #design
The “gap” between users and designers of CAD/CAM systems: Search for solutions (JP, MPC), pp. 703–705.
ICALPICALP-1981-Pearl #algorithm #branch
The Solution for the Branching Factor of the α-β Pruning Algorithm (JP), pp. 521–529.
POPLPOPL-1981-LehmannR #distributed #on the #problem #symmetry
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (DJL, MOR), pp. 133–138.
DACDAC-1980-HeynsSB #algorithm #problem
A line-expansion algorithm for the general routing problem with a guaranteed solution (WH, WS, HB), pp. 243–249.
STOCSTOC-1980-Tompa #problem
An Optimal Solution to a Wire-Routing Problem (Preliminary Version) (MT), pp. 161–176.
DACDAC-1979-Lichten #design #parametricity #scalability
A partial solution to fitting large parametric surfaces in computer-aided design systems (LL), pp. 222–228.
SOSPSOSP-1979-Gehringer #problem
Variable-Length Capabilities as a Solution to the Small-Object Problem (EFG), pp. 131–142.
DACDAC-1978-Harvel #classification #effectiveness
Classification of PCB types for cost effective solutions (JTH), pp. 444–445.
STOCSTOC-1978-Katseff #problem
A New Solution to the Critical Section Problem (HPK), pp. 86–88.
STOCSTOC-1977-PetersonF #distributed #problem
Economical Solutions for the Critical Section Problem in a Distributed System (Extended Abstract) (GLP, MJF), pp. 91–97.
SOSPSOSP-1977-BabonneauAMM #adaptation #automation #source code
Automatic and General Solution to the Adaption of Programs in a Paging Environment (JYB, MSA, GM, MBM), pp. 109–116.
DACDAC-1976-PiscatelliT
A solution to closeness checking of non-orthogonal printed circuit board wiring (RNP, PT), pp. 172–178.
DACDAC-1975-Ciampi #problem
A system for solution of the placement problem (PLC), pp. 317–323.
STOCSTOC-1974-Leeuwen #problem
A Partial Solution to the Reachability-Problem for Vector-Addition Systems (JvL), pp. 303–309.
ICALPICALP-1972-HoschL #finite
Finite Delay Solutions for Sequential Conditions (FAH, LHL), pp. 45–60.
DACDAC-1969-Hightower #problem
A solution to line-routing problems on the continuous plane (DWH), pp. 1–24.
DACDAC-1968-Weinberg #problem
Microelectronics and printed circuits: Problems and their solutions (LW).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.