Stem solut$ (all stems)

507 papers:

WICSA-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.

CASE-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.

CASE-2015-MaedaK #algorithm #hybrid

Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.

DAC-2015-ChangLF #challenge

EUV and e-beam manufacturability: challenges and solutions (YWC, RGL, SYF), p. 6.

DAC-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.

DAC-2015-PetrenkoTR #challenge #modelling #testing

Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.

DAC-2015-TeimouriTS #challenge

Revisiting accelerator-rich CMPs: challenges and solutions (NT, HT, GS), p. 6.

TACAS-2015-UnnoT #horn clause #recursion

Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (HU, TT), pp. 149–163.

ICPC-2015-AmintabarHG #development #exception #ide #named #recommendation

ExceptionTracer: a solution recommender for exceptions in an integrated development environment (VA, AH, MG), pp. 299–302.

STOC-2015-FeldmanPV #complexity #on the #problem #random #satisfiability

On the Complexity of Random Satisfiability Problems with Planted Solutions (VF, WP, SV), pp. 77–86.

ICALP-v1-2015-MouawadNPR #configuration management

Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas (AEM, NN, VP, VR), pp. 985–996.

ICALP-v2-2015-CiobanuDE #equation #set

Solution Sets for Equations over Free Groups are EDT0L Languages (LC, VD, ME), pp. 134–145.

CHI-2015-ButlerASGP #analysis #automation #design #game studies

Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.

CHI-2015-DehaisPSFG #automation #realtime

“Automation Surprise” in Aviation: Real-Time Solutions (FD, VP, SS, JF, TG), pp. 2525–2534.

CHI-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.

DUXU-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.

HIMI-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.

LCT-2015-VielRTP #design #interactive #learning #multi

Design Solutions for Interactive Multi-video Multimedia Learning Objects (CCV, KRHR, CACT, MdGCP), pp. 160–171.

ICEIS-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.

ICEIS-v2-2015-BarbarI #named

BlueKey — A Bluetooth Secure Solution for Accessing Personal Computers (AB, AI), pp. 509–515.

ICEIS-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.

ICEIS-v2-2015-VitolsBSSAS #multi

Multi-payment Solution for Smartlet Applications (GV, NB, JS, VS, IA, IS), pp. 668–673.

ICML-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.

ICML-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.

KDD-2015-IitsukaM #optimisation #problem

Website Optimization Problem and Its Solutions (SI, YM), pp. 447–456.

KDD-2015-LiuC #challenge #detection #social #social media

Social Media Anomaly Detection: Challenges and Solutions (YL, SC), pp. 2317–2318.

MLDM-2015-OliveiraVZ #clustering #on the

On Bicluster Aggregation and its Benefits for Enumerative Solutions (SHGdO, RV, FJVZ), pp. 266–280.

POPL-2015-Sangiorgi #equation

Equations, Contractions, and Unique Solutions (DS), pp. 421–432.

SAC-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.

SAC-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.

SAC-2015-TodaT #performance #satisfiability

BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.

ESEC-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.

PLEASE-2015-BuchmannBHW #challenge #variability

Robots and their Variability — A Societal Challenge and a Potential Solution (TB, JB, DH, BW), pp. 27–30.

ISSTA-2015-JiaGY #constraints #execution #reuse #symbolic computation

Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.

ECSA-2014-AbukwaikTR #architecture #information management #problem

Interoperability-Related Architectural Problems and Solutions in Information Systems: A Scoping Study (HA, DT, HDR), pp. 308–323.

ASE-2014-0004MPC #towards #traceability

Towards an intelligent domain-specific traceability solution (JG, NM, CP, JCH), pp. 755–766.

CASE-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.

CASE-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.

DAC-2014-AbarbanelSV #challenge #validation

Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.

DAC-2014-GaoXYP #named #optimisation #process

MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.

DAC-2014-Kose #challenge

Thermal Implications of On-Chip Voltage Regulation: Upcoming Challenges and Possible Solutions (SK), p. 6.

DATE-2014-MaliukM #framework #network #prototype

An analog non-volatile neural network platform for prototyping RF BIST solutions (DM, YM), pp. 1–6.

PODS-2014-GrecoS #hybrid #query

Counting solutions to conjunctive queries: structural and hybrid tractability (GG, FS), pp. 132–143.

VLDB-2014-WuC0SCB #big data #named

yzBigData: Provisioning Customizable Solution for Big Data (SW, GC, KC, LS, HC, HB), pp. 1778–1783.

PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier

Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.

ICALP-v1-2014-GafniH

Sporadic Solutions to Zero-One Exclusion Tasks (EG, MH), pp. 1–10.

LATA-2014-Cerny #composition #morphism #multi #problem

Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms (AC), pp. 273–284.

HCI-AIMT-2014-HettipathiranaW #interactive #named

iPanel: A Computer-Vision Based Solution for Interactive Keyboard and Mouse (HCDH, PW), pp. 36–47.

HCI-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.

ICPR-2014-Lee #geometry #re-engineering

New Geometric Interpretation and Analytic Solution for Quadrilateral Reconstruction (JHL), pp. 4015–4020.

KMIS-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.

KMIS-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.

CASE-2013-HoC #contest #design #game studies

Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.

CASE-2013-HuMW #automation #energy

Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.

DAC-2013-AngioneCCLN #modelling

Pareto epsilon-dominance and identifiable solutions for BioCAD modeling (CA, JC, GC, PL, GN), p. 9.

DAC-2013-LiuKL #optimisation

Optimization of placement solutions for routability (WHL, CKK, YLL), p. 9.

DATE-2013-GreenGW #energy

Innovative energy storage solutions for future electromobility in smart cities (KG, SRG, RW), pp. 1730–1734.

DATE-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.

DATE-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.

VLDB-2013-Ngo

Getting Unique Solution in Data Exchange (NN), pp. 1440–1443.

ITiCSE-2013-Luxton-ReillyDKTY #difference #on the #student

On the differences between correct student solutions (ALR, PD, DK, EDT, SYY), pp. 177–182.

DHM-HB-2013-LundhBMP #design #problem #visualisation

Visualizing Design Problems and Solutions of Workstations on Ships (ML, MB, SM, JP), pp. 252–260.

DUXU-WM-2013-OettliP

Web-Portal Solution for Supporting In-Country Reviews (MO, TP), pp. 77–83.

HCI-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.

HIMI-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.

ICEIS-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.

ICEIS-v2-2013-VitolsSB #development #mobile

Cross-platform Solution for Development of Mobile Applications (GV, IS, OB), pp. 273–277.

CIKM-2013-ZhangDDC #network #probability #social

Probabilistic solutions of influence propagation on social networks (MZ, CD, CHQD, EC), pp. 429–438.

ECIR-2013-PCK #problem #query #repository

Query Suggestions for Textual Problem Solution Repositories (DP, SC, DK), pp. 569–581.

ICML-c3-2013-ZhangZWKYM #kernel

Covariate Shift in Hilbert Space: A Solution via Sorrogate Kernels (KZ, VWZ, QW, JTYK, QY, IM), pp. 388–395.

KDD-2013-OuCWWZY #scalability

Comparing apples to oranges: a scalable solution with heterogeneous hashing (MO, PC, FW, JW, WZ, SY), pp. 230–238.

KDIR-KMIS-2013-CastellanoS

Developing Innovative e-Learning Solutions (MC, FAS), pp. 484–489.

SEKE-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.

ECMFA-2013-ElaasarC #collaboration #design

Design Management: A Collaborative Design Solution (ME, JC), pp. 165–178.

ICMT-2013-CuadradoL #challenge #model transformation #streaming

Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.

RE-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.

REFSQ-2013-IngolfoSJSPM

Choosing Compliance Solutions through Stakeholder Preferences (SI, AS, IJ, AS, AP, JM), pp. 206–220.

ICSE-2013-EsfahaniMR #architecture #named #nondeterminism

GuideArch: guiding the exploration of architectural solution space under uncertainty (NE, SM, KR), pp. 43–52.

PLEASE-2013-Zhang0 #framework #named #reverse engineering #towards #variability

RECoVar: A solution framework towards reverse engineering variability (BZ, MB), pp. 45–48.

SAT-2013-FingerLGS #constraints #probability #satisfiability #using

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability (MF, RL, CPG, BS), pp. 233–249.

CASE-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.

CASE-2012-TaboadaXJJ #energy #industrial

Exploring a solar photovoltaic-based energy solution for green manufacturing industry (HAT, ZX, TJ, JAJ), pp. 40–45.

DAC-2012-KirschP #problem

Incorrect systems: it’s not the problem, it’s the solution (CMK, HP), pp. 913–917.

DATE-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.

DATE-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.

DATE-2012-MarinissenVGHRMB #detection #process

EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.

DATE-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.

DATE-2012-SahlbachWE

A high-performance dense block matching solution for automotive 6D-vision (HS, SW, RE), pp. 268–271.

DATE-2012-YangLTW #modelling

Almost every wire is removable: A modeling and solution for removing any circuit wire (XY, TKL, WCT, YLW), pp. 1573–1578.

CSEET-2012-RongS #challenge #education

Delivering Software Process-Specific Project Courses in Tertiary Education Environment: Challenges and Solution (GR, DS), pp. 52–61.

CSMR-2012-DohringH #adaptation #taxonomy #workflow

Anomalies in Rule-Adapted Workflows — A Taxonomy and Solutions for vBPMN (MD, SH), pp. 117–126.

ICPC-2012-DitMP #feature model

A TraceLab-based solution for creating, conducting, and sharing feature location experiments (BD, EM, DP), pp. 203–208.

STOC-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.

STOC-2012-HeilmanJN

Solution of the propeller conjecture in R3 (SH, AJ, AN), pp. 269–276.

ICALP-v2-2012-Spielman #algorithm #equation #graph #linear

Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations (DAS), pp. 24–26.

CIKM-2012-BhuiyanMH #interactive #mining

Interactive pattern mining on hidden data: a sampling-based solution (MB, SM, MAH), pp. 95–104.

ICPR-2012-ChauhanL #distance

Manhattan-Pyramid Distance: A solution to an anomaly in pyramid matching by minimization (AC, LSL), pp. 2668–2672.

KDIR-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.

MoDELS-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.

MoDELS-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.

QAPL-2012-Giro #model checking #performance

Efficient computation of exact solutions for quantitative model checking (SG), pp. 17–32.

REFSQ-2012-PaechHZJT #challenge

Answering a Request for Proposal — Challenges and Proposed Solutions (BP, RH, GZP, AJ, ST), pp. 16–29.

SAC-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.

SAC-2012-FrantzC #development #integration

A software development kit to implement integration solutions (RZF, RC), pp. 1647–1652.

SAC-2012-HeFP #constraints

Solution neighbourhoods for constraint-directed local search (JH, PF, JP), pp. 74–79.

SAC-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.

FSE-2012-CaglayanMCBAT #fault #metric #named #predict

Dione: an integrated measurement and defect prediction solution (BC, ATM, GÇ, AB, TA, BT), p. 20.

ICSE-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.

ICSE-2012-MarinescuC #execution #symbolic computation #testing

make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.

LDTA-2012-JongeV #refactoring

A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.

PLEASE-2012-QuintonDHMC #feature model #modelling #using

Using feature modelling and automations to select among cloud solutions (CQ, LD, PH, SM, EC), pp. 17–20.

LCTES-2012-ZuluagaKMP #design #predict

“Smart” design space sampling to predict Pareto-optimal solutions (MZ, AK, PAM, MP), pp. 119–128.

WICSA-2011-MichalikW #impact analysis #product line #towards

Towards a Solution for Change Impact Analysis of Software Product Line Products (BM, DW), pp. 290–293.

CASE-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.

CASE-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.

CASE-2011-ZanasiC #design #visual notation

Direct method for digital lead-lag design: analytical and graphical solutions (RZ, SC), pp. 804–809.

DAC-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.

DAC-2011-Paulin #challenge #industrial #multi #perspective #programming

Programming challenges & solutions for multi-processor SoCs: an industrial perspective (PGP), pp. 262–267.

CSEET-2011-RongZCS #challenge #education

Delivering PSP course in tertiary education environment: Challenges and solution (GR, HZ, ZC, DS), pp. 284–293.

CSMR-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.

STOC-2011-MoitraO

Pareto optimal solutions for smoothed analysts (AM, RO), pp. 225–234.

ICALP-v1-2011-BulatovM #constraints

Constraint Satisfaction Parameterized by Solution Size (AAB, DM), pp. 424–436.

CSCW-2011-HuZL #ubiquitous

Ubiquitous awareness and intelligent solutions lab: Lanzhou University (BH, FZ, LL), pp. 151–158.

DUXU-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.

DUXU-v2-2011-ShenPC #using

A Solution to Revisitation Using Organic Bookmark Management (STS, SDP, KMC), pp. 46–52.

OCSC-2011-HarrisonW #industrial

E-Business Solutions in the Cable TV Industry (VH, JW), pp. 182–187.

OCSC-2011-KoblentzW #industrial

Business-to-Business Solutions for the Cosmetic Industry (MK, JW), pp. 197–202.

EDOC-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.

ICEIS-v1-2011-PiTX #communication #peer-to-peer

Solutions for Enabling Communication between Different Proprietary Peer-to-peer Systems (RP, JT, KX), pp. 580–585.

ICEIS-v4-2011-QiWGS #equation

Exact Solutions for the Complex Ginzburg-Landau Equation (PQ, DW, CG, HS), pp. 675–677.

CIKM-2011-BingLG #detection #segmentation #towards

Towards a unified solution: data record region detection and segmentation (LB, WL, YG), pp. 1265–1274.

CIKM-2011-PCK #problem #repository #trade-off

More or better: on trade-offs in compacting textual problem solution repositories (DP, SC, DK), pp. 2321–2324.

ICML-2011-KarasuyamaT #algorithm

Suboptimal Solution Path Algorithm for Support Vector Machine (MK, IT), pp. 473–480.

ICML-2011-NakajimaSB #automation #on the

On Bayesian PCA: Automatic Dimensionality Selection and Analytic Solution (SN, MS, SDB), pp. 497–504.

ICML-2011-SugiyamaYKH #clustering #on the #parametricity

On Information-Maximization Clustering: Tuning Parameter Selection and Analytic Solution (MS, MY, MK, HH), pp. 65–72.

KDD-2011-ChittaJHJ #approximate #clustering #kernel #scalability

Approximate kernel k-means: solution to large scale kernel clustering (RC, RJ, TCH, AKJ), pp. 895–903.

KDD-2011-RaiJK #video

Video analytics solution for tracking customer locations in retail shopping malls (HGNR, KJ, PRK), pp. 773–776.

KEOD-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.

KEOD-2011-SharmaB #ontology #problem #question

Can Ontologies Be Sufficient Solution to Requirement Engineering Problem? (RS, KKB), pp. 461–465.

KMIS-2011-AnthopoulosGF #approach

Supporting the Solution Selection for a Digital City with a Fuzzy-based Approach (LGA, VCG, PF), pp. 355–358.

SEKE-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.

SIGIR-2011-HaoCPZ #web

From one tree to a forest: a unified solution for structured web data extraction (QH, RC, YP, LZ), pp. 775–784.

SIGIR-2011-Jia #effectiveness #performance

Efficient and effective solutions for search engines (XFJ), pp. 1319–1320.

TOOLS-EUROPE-2011-BrandPV #co-evolution

A Generic Solution for Syntax-Driven Model Co-evolution (MvdB, ZP, TV), pp. 36–51.

RE-2011-ErnstBJ #evolution #incremental #requirements

Finding incremental solutions for evolving requirements (NAE, AB, IJ), pp. 15–24.

RE-2011-Regnell #evolution #mobile #problem #scalability

Large-scale feature evolution: Problems and solutions from the mobile domain (BR), p. 323.

RE-2011-VeerappaL #clustering #comprehension #multi #problem

Understanding clusters of optimal solutions in multi-objective decision problems (VV, EL), pp. 89–98.

SAC-2011-RosaGO #problem #quality #satisfiability

Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences (EDR, EG, BO), pp. 901–906.

SAC-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.

SLE-2011-TombelleVR #approach #modelling #reuse

Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language (CT, GV, ER), pp. 139–159.

PLEASE-2011-Kulkarni #challenge

Use of SPLE to deliver custom solutions at product cost: challenges and a way forward (VK), pp. 1–5.

ISMM-2011-Mutlu #challenge #manycore #memory management

Memory systems in the many-core era: challenges, opportunities, and solution directions (OM), pp. 77–78.

SAT-2011-AbioDNS

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (IA, MD, RN, PJS), pp. 273–286.

SAT-2011-CreignouOS #csp

Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (NC, FO, JS), pp. 120–133.

SAT-2011-Nadel #generative #satisfiability

Generating Diverse Solutions in SAT (AN), pp. 287–301.

TACAS-2010-MoyA #calculus #problem #realtime

Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (MM, KA), pp. 358–372.

STOC-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.

LATA-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.

CHI-2010-HartmannMBK #error message #fault #what

What would other programmers do: suggesting solutions to error messages (BH, DM, JB, SRK), pp. 1019–1028.

ICEIS-DISI-2010-AndreiRD #authentication #online

Solutions for Speeding-up On-line Dynamic Signature Authentication (VA, SMR, SD), pp. 121–126.

ICEIS-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.

CIKM-2010-NambiarGGM #data transformation

Massive structured data management solution (UN, RG, HG, MKM), pp. 1905–1908.

ICPR-2010-TangHLL #retrieval #using

A Person Retrieval Solution Using Finger Vein Patterns (DT, BH, RL, WL), pp. 1306–1309.

KDIR-2010-ZhangUC #information management #using

A Comprehensive Solution to Procedural Knowledge Acquisition using Information Extraction (ZZ, VSU, FC), pp. 432–437.

KEOD-2010-GibbsC #concurrent #ontology #question

Concurrency Conundrums — An Ontological Solution? (CG, YC), pp. 305–310.

KEOD-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.

KMIS-2010-AlvaroCPCCGC #information management #microblog #named #semantics

miKrow — An Intra-enterprise Semantic Microblogging Tool as a Micro-knowledge Management Solution (GÁ, CC, VP, MC, FC, JMGP, JC), pp. 36–43.

KR-2010-BrafmanRSVW #constraints #information management #representation

Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms (RIB, FR, DS, KBV, TW).

SIGIR-2010-CaiZDC #algorithm #similarity

Closed form solution of similarity algorithms (YC, MZ, CHQD, SC), pp. 709–710.

OOPSLA-2010-McCarthy #continuation

The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.

SAC-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.

SAC-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.

ICLP-J-2010-GuzmanCW #evaluation #on-demand

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (PCdG, MC, DSW), pp. 401–416.

SAT-2010-BoufkhadH #bound #satisfiability

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.

SAT-2010-JarvisaloB

Reconstructing Solutions after Blocked Clause Elimination (MJ, AB), pp. 340–345.

WICSA-ECSA-2009-PerezDSG #architecture #component #variability

Plastic Partial Components: A solution to support variability in architectural components (JP, JD, CCS, JG), pp. 221–230.

ASE-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.

DAC-2009-Li #equation #modelling #performance #scalability

Finding deterministic solution from underdetermined equation: large-scale performance modeling by least angle regression (XL0), pp. 364–369.

DAC-2009-MehrotraS #performance #robust #using

A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian (AM, AS), pp. 370–375.

DATE-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.

DATE-2009-YangNV #automation #data analysis #debugging

Automated data analysis solutions to silicon debug (YSY, NN, AGV), pp. 982–987.

VLDB-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.

HCD-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.

HCI-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.

HIMI-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.

ICEIS-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.

ICML-2009-NowozinJ #clustering #graph #learning #linear #programming

Solution stability in linear programming relaxations: graph partitioning and unsupervised learning (SN, SJ), pp. 769–776.

KDD-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.

KEOD-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.

KMIS-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.

SEKE-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.

SEKE-2009-GaoVSX #2d #mobile

A 2D-barcode Based Mobile Advertising Solution (JZG, HV, SS, JX), pp. 466–472.

GPCE-2009-SanenTJ #approach #feature model #interactive #problem

Mapping problem-space to solution-space features: a feature interaction approach (FS, ET, WJ), pp. 167–176.

RE-2009-Zowghi #challenge #education #requirements

Requirements Engineering Education and Training: Key Challenges and Practical Solutions (DZ), p. 358.

SAC-2009-AhamedKHZ #security #towards #trust

Towards developing a trust-based security solution (SIA, DK, CSH, MZ), pp. 2204–2205.

SAC-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.

SAC-2009-BiggarVG #compilation #scripting language

A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.

SAC-2009-TangL #problem

The unique solution for P3P problem (JT, NL), pp. 1138–1139.

SLE-2009-Bezivin #problem #question #what

If MDE Is the Solution, Then What Is the Problem? (JB), p. 2.

ICLP-2009-EiterEEF #programming #set

Finding Similar or Diverse Solutions in Answer Set Programming (TE, EE, HE, MF), pp. 342–356.

WICSA-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.

DAC-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.

DAC-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.

DATE-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.

DATE-2008-MarculescuN #architecture #challenge #design #variability

Design Variability: Challenges and Solutions at Microarchitecture-Architecture Level (DM, SRN).

DATE-2008-Vernay #challenge #embedded #research

Perspective on Embedded Systems: Challenges, Solutions and Research Priorities (DV), p. 2.

DocEng-2008-LaenderGCFSS #library #problem

Keeping a digital library clean: new solutions to old problems (AHFL, MAG, RGC, AAF, RLTS, AJCS), pp. 257–262.

TACAS-2008-Malik #hardware #verification

Hardware Verification: Techniques, Methodology and Solutions (SM), p. 1.

ICSM-2008-Li #process

An integrated solution for software process improvement (ML), pp. 472–473.

CIAA-2008-El-FakihY #automaton #equation

Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.

GT-VC-2007-BaresiRRS08 #graph transformation #model checking #performance

An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.

CHI-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.

ICEIS-AIDSS-2008-Guzman-ArenasC #heuristic #information management

Knowledge Acquisition with OM — A Heuristic Solution (AGA, ADCR), pp. 356–363.

ICEIS-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.

ICEIS-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.

ICEIS-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.

ICML-2008-Rosset #kernel

Bi-level path following for cross validated solution of kernel quantile regression (SR), pp. 840–847.

ICML-2008-RothF #algorithm #linear #modelling #performance

The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms (VR, BF), pp. 848–855.

ICPR-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.

ICPR-2008-SukF #automation #equation #invariant

Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.

KR-2008-Halpern #concept #equilibrium #nash

Beyond Nash Equilibrium: Solution Concepts for the 21st Century (JYH), pp. 6–15.

MoDELS-2008-El-BoussaidiM #constraints #design #detection #using

Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.

MoDELS-2008-El-BoussaidiM #constraints #design #detection #using

Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.

SAC-2008-HuangKV #challenge #privacy

Privacy preservation services: challenges and solutions (DH, VK, MV), pp. 2110–2115.

SAC-2008-PiresTR #collaboration #internet

A UMLS interoperable solution to support collaborative diagnosis decision making over the internet (DFP, CACT, EESR), pp. 1400–1404.

SAC-2008-RoyS #data flow #problem

Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.

OSDI-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.

PPoPP-2008-ChengCHT #classification #manycore #scalability #using

Scalable packet classification using interpreting: a cross-platform multi-core solution (HC, ZC, BH, XT), pp. 33–42.

ICST-2008-LarssonBF #challenge

Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company (DL, HB, RF), pp. 423–431.

CBSE-2007-Folmer #component #development #game studies #question

Component Based Game Development — A Solution to Escalating Costs and Expanding Deadlines? (EF), pp. 66–73.

CASE-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.

DAC-2007-Kwon #challenge #industrial

Perspective of the Future Semiconductor Industry: Challenges and Solutions (OHK).

DATE-2007-FangH #hybrid #performance #satisfiability

A new hybrid solution to boost SAT solver performance (LF, MSH), pp. 1307–1313.

DATE-2007-Huomo #communication #ubiquitous

Emerging solutions technology and business views for the ubiquitous communication (HH), p. 678.

DATE-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.

DATE-2007-SrivastavaR #agile

Rapid and accurate latch characterization via direct Newton solution of setup/hold times (SS, JSR), pp. 1006–1011.

PODS-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.

PODS-2007-HernichS #dependence

CWA-solutions for data exchange settings with target dependencies (AH, NS), pp. 113–122.

VLDB-2007-CasatiCDS #process

A Generic solution for Warehousing Business Process Data (FC, MC, UD, NS), pp. 1128–1137.

ITiCSE-2007-MullerGH #composition #problem

Pattern-oriented instruction and its influence on problem decomposition and solution construction (OM, DG, BH), pp. 151–155.

CIAA-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.

IFM-2007-GheorghiuGC #logic #query

Finding State Solutions to Temporal Logic Queries (MG, AG, MC), pp. 273–292.

SFM-2007-Ciardo #approach #data transformation #diagrams #performance #representation

Data Representation and Efficient Solution: A Decision Diagram Approach (GC), pp. 371–394.

HCI-AS-2007-MaurtuaUP #smarttech

Experimenting Wearable Solutions for Workers’ Training in Manufacturing (IM, MU, MAP), pp. 663–671.

HCI-AS-2007-UszkoreitXL #challenge #information management #multi

Challenges and Solutions of Multilingual and Translingual Information Service Systems (HU, FX, WL), pp. 132–141.

HIMI-IIE-2007-BehalCKLHCKRS #interactive

Business Insights Workbench — An Interactive Insights Discovery Solution (AB, YC, CAK, AL, BH, JC, JTK, JR, WSS), pp. 834–843.

HIMI-IIE-2007-Bhargav-SpantzelSYB #privacy #requirements

Privacy Requirements in Identity Management Solutions (ABS, ACS, MY, EB), pp. 694–702.

HIMI-IIE-2007-IsaiasM #web #web service

Web Services as a Solution for Maritime Port Information Interoperability (PTI, FMDM), pp. 1029–1038.

HIMI-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.

ICEIS-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.

ICEIS-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.

SEKE-2007-ColziMNR #architecture #component

A Component-Based Solution and Architecture for Dynamic Service-Based Applications (AC, TM, PN, DR), p. 637–?.

SEKE-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.

MoDELS-2007-BrownDJ #design #implementation

A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.

MoDELS-2007-BrownDJ #design #implementation

A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.

SAC-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.

PPoPP-2007-BuehrerPTKS #architecture #mining #towards

Toward terabyte pattern mining: an architecture-conscious solution (GB, SP, ST, TMK, JHS), pp. 2–12.

CASE-2006-Wen #collaboration #design #problem #research

A Model for Industry-University Collaborative Research: Transforming Specific Problem Solution into Broad Design Methodologies (JTW), p. 1.

DAC-2006-MacNeilS

Solution-processed infrared photovoltaic devices (DDM, EHS), pp. 636–638.

DAC-2006-WaghmodeLS #scalability

Buffer insertion in large circuits with constructive solution search techniques (MW, ZL, WS), pp. 296–301.

DATE-DF-2006-CampobelloCCM #network

GALS networks on chip: a new solution for asynchronous delay-insensitive links (GC, MC, CC, DM), pp. 160–165.

DRR-2006-RahmanTHA #automation #documentation #enterprise #web

An automatically updateable web publishing solution: taking document sharing and conversion to enterprise level (FR, YT, RH, HA).

CSMR-2006-Sommer #lifecycle #maintenance

Product Innovation Lifecycle Maintenance and Solution Management at SAP (WS), p. 312.

CSMR-2006-Zaidman #comprehension #dynamic analysis #scalability

Scalability Solutions for Program Comprehension through Dynamic Analysis (AZ), pp. 327–330.

STOC-2006-AchlioptasR #constraints #geometry #on the #problem #random

On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.

EDOC-2006-ShanH #architecture

Solution Architecting Mechanism (TCS, WWH), pp. 23–34.

ICEIS-ISAS-2006-PetersenLA #elicitation #modelling #requirements #validation

Interoperablity Requirements Elicitation, Validation and Solutions Modelling (SAP, FML, MA), pp. 152–159.

ICEIS-ISAS-2006-RinderleBRB #case study #challenge #process #visualisation

Business Process Visualization — Use Cases, Challenges, Solutions (SR, RB, MR, TB), pp. 204–211.

ICML-2006-GreeneC #clustering #documentation #kernel #problem

Practical solutions to the problem of diagonal dominance in kernel document clustering (DG, PC), pp. 377–384.

ICML-2006-PoupartVHR #learning

An analytic solution to discrete Bayesian reinforcement learning (PP, NAV, JH, KR), pp. 697–704.

ICML-2006-WangYL #2d

Two-dimensional solution path for support vector regression (GW, DYY, FHL), pp. 993–1000.

ICPR-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.

ICPR-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.

KDD-2006-TongF #performance #problem

Center-piece subgraphs: problem definition and fast solutions (HT, CF), pp. 404–413.

SEKE-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.

MoDELS-2006-CeriaC #case study #development

Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.

MoDELS-2006-CeriaC #case study #development

Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.

RE-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.

RE-2006-WendlandPO

Optimal Solutions for Hospital Websites (KW, CP, PO), pp. 228–233.

SAC-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.

SAC-2006-AltLM #linear #on the #probability #problem #using

On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.

SAC-2006-Goldsztejn #algorithm #approximate #branch #set

A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.

SAC-2006-KirdaKVJ #named

Noxes: a client-side solution for mitigating cross-site scripting attacks (EK, CK, GV, NJ), pp. 330–337.

LICS-2006-PitermanP #game studies #performance

Faster Solutions of Rabin and Streett Games (NP, AP), pp. 275–284.

CASE-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.

CASE-2005-PeddiZCC #automation #effectiveness #performance

Efficient and effective path for automated dispensing of bio-precipitant solutions (AP, YFZ, VC, MC), pp. 61–66.

DAC-2005-MokhoffZRNPK #how

How to determine the necessity for emerging solutions (NM, YZ, KNR, HN, FP, KSK), pp. 274–275.

DAC-2005-TschanzBD

Variation-tolerant circuits: circuit solutions and techniques (JT, KAB, VD), pp. 762–763.

DATE-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.

DATE-2005-MishchenkoBJVY #equation #performance #using

Efficient Solution of Language Equations Using Partitioned Representations (AM, RKB, JHRJ, TV, NY), pp. 418–423.

PODS-2005-Gottlob #algorithm

Computing cores for data exchange: new algorithms and practical solutions (GG), pp. 148–159.

ITiCSE-2005-BassL #education #using

Teaching to analyze solutions using FGA (IB, DL), p. 360.

IFL-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.

ICEIS-v2-2005-BardisMP #evaluation

Intelligent Solution Evaluation Based on Alternative User Profiles (GB, GM, DP), pp. 74–82.

ICEIS-v2-2005-Liu

Defending Against Business Crises with the Help of Intelligent Agent Based Early Warning Solutions (SL), pp. 58–65.

ICEIS-v2-2005-MashechkinPR #anti #approach #enterprise #machine learning

Enterprise Anti-Spam Solution Based on Machine Learning Approach (IM, MP, AR), pp. 188–193.

CIKM-2005-HerzogLD #information management

SyynX solutions: practical knowledge management in a medical environment (CH, GL, MD), pp. 556–559.

SAC-2005-BeszteriV #adaptation #documentation #editing

An XForms based solution for adaptable documents editing (IB, PV), pp. 769–775.

SAC-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.

GTTSE-2005-PorkolabZ #c++ #composition #metaprogramming #problem

A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.

ICLP-2005-DovierFP #comparison #problem

A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems (AD, AF, EP), pp. 67–82.

ICLP-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.

SAT-2005-GentR #learning

Local and Global Complete Solution Learning Methods for QBF (IPG, AGDR), pp. 91–106.

DAC-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.

DAC-2004-KogelM #energy

Heterogeneous MP-SoC: the solution to energy-efficient signal processing (TK, HM), pp. 686–691.

DATE-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.

DATE-v1-2004-LiHS #novel #performance #satisfiability

A Novel SAT All-Solutions Solver for Efficient Preimage Computation (BL, MSH, SS), pp. 272–279.

VLDB-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.

ITiCSE-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.

CIAA-2004-Lugiez #automaton #linear #logic #set

From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P) (DL), pp. 321–322.

DLT-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.

ICALP-2004-Kunc

Regular Solutions of Language Inequalities and Well Quasi-orders (MK), pp. 870–881.

CHI-2004-TerryMNY #development

Variation in element and action: supporting simultaneous development of alternative solutions (MAT, EDM, KN, YY), pp. 711–718.

ICEIS-v3-2004-CheungHY #problem

The Delegation Problem and Practical PKI-Based Solutions (VLSC, LCKH, SMY), pp. 73–84.

ICEIS-v5-2004-IsaevN

E-Library Technical Solution: An Example of ETU “LETI” (YI, AN), pp. 285–288.

ICML-2004-Forman #classification #feature model #multi

A pitfall and solution in multi-class feature selection for text classification (GF).

TOOLS-USA-2003-HamzaE04 #analysis #problem

Applying Analysis Patterns Through Analogy: Problems and Solutions (HSH, MEF), pp. 197–208.

RE-2004-Cleland-HuangZL #requirements #traceability

A Heterogeneous Solution for Improving the Return on Investment of Requirements Traceability (JCH, GZ, WL), pp. 230–239.

SAC-2004-IwaiharaJK #implementation #workflow

An integrated model of workflows, e-contracts and solution implementation (MI, HJ, YK), pp. 1390–1395.

CC-2004-ParkerC #algorithm

An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas (EP, SC), pp. 104–119.

HPDC-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.

HPDC-2004-RipeanuBCFM #resource management

Globus and PlanetLab Resource Management Solutions Compared (MR, MB, JSC, ITF, MM), pp. 246–255.

LCTES-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.

LICS-2004-SeshiaB #bound #quantifier #using

Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds (SAS, REB), pp. 100–109.

ASE-2003-Agrawal #graph grammar

Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck (AA), pp. 364–368.

DATE-2003-GlaesonP #design

Designing System-Level Software Solutions for Open OS’s on 3g Wireless Handsets (SG, EP), p. 20040.

DATE-2003-Pirola #hardware #memory management

A Solution for Hardware Emulation of Non Volatile Memory Macrocells (AP), pp. 20262–20267.

DATE-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.

HT-2003-WangL #enterprise #hypermedia #realtime

A cooperative hypermedia solution to work management in real-time enterprises (WW, FML), pp. 196–197.

ICDAR-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.

CIAA-2003-DaleyEM #automaton #probability #retrieval

Bag Automata and Stochastic Retrieval of Biomolecules in Solution (MD, MGE, IM), pp. 239–250.

CIAA-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.

ICALP-2003-BansalAM #multi #performance

Stable Marriages with Multiple Partners: Efficient Search for an Optimal Solution (VB, AA, VSM), pp. 527–542.

EDOC-2003-SgottiRS #monitoring

A MOM-based Solution for Remote Monitoring of Equipment in Mines (VACS, NSR, WJdS), pp. 321–326.

ICEIS-v1-2003-GouveiaG #roadmap

Assuming a Roadmap Strategy for E-Business: Matching the Right Solution Over a Thousand Answers (FRG, LBG), pp. 550–553.

ICEIS-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.

ICEIS-v4-2003-Fernandes #future of

The Future of Telephony: The IP Solution (SF), pp. 206–211.

ICML-2003-YuL #feature model #performance

Feature Selection for High-Dimensional Data: A Fast Correlation-Based Filter Solution (LY, HL), pp. 856–863.

SAC-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.

CADE-2003-CohenMPS #permutation #problem

Certifying Solutions to Permutation Group Problems (AMC, SHM, MP, VS), pp. 258–273.

SAT-2003-KhurshidMSJ #performance

A Case for Efficient Solution Enumeration (SK, DM, IS, DJ), pp. 272–286.

SAT-2003-MneimnehS #graph #scalability

Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution (MNM, KAS), pp. 411–425.

DAC-2002-MegerianDP #integer #linear #programming

Watermarking integer linear programming solutions (SM, MD, MP), pp. 8–13.

VLDB-2002-LiHKSPAC #web

Issues and Evaluations of Caching Solutions for Web Application Acceleration (WSL, WPH, DVK, RS, OP, DA, KSC), pp. 1019–1030.

CHI-2002-McGrenereBB #design #evaluation #interface #multi

An evaluation of a multiple interface design solution for bloated software (JM, RB, KSB), pp. 164–170.

ICEIS-2002-EderKK

Temporal Data Warehousing: Business Cases and Solutions (JE, CK, HK), pp. 81–88.

RE-2002-GrossMZH #convergence #development

The Reference Point Method: Requirements-Based ICT Convergence Solution Development (WG, TM, FZ, CH), p. 193.

SAC-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.

SAC-2002-Pillay #algorithm #induction #programming #search-based #using

Using genetic programming for the induction of novice procedural programming solution algorithms (NP), pp. 578–583.

CAV-2002-RybinaV #canonical #infinity #model checking #using

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking (TR, AV), pp. 386–400.

DAC-2001-KarandikarS #logic

Technology Mapping for SOI Domino Logic Incorporating Solutions for the Parasitic Bipolar Effect (SKK, SSS), pp. 377–382.

DAC-2001-WolfeWP #clustering #graph

Watermarking Graph Partitioning Solutions (GW, JLW, MP), pp. 486–489.

DATE-2001-GielenSCMR #challenge #design

Design challenges and emerging EDA solutions in mixed-signal IC design (GGEG, BS, HC, PM, JR), pp. 694–695.

DATE-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.

VLDB-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.

ITiCSE-2001-Sooriamurthi #problem #recursion

Problems in comprehending recursion and suggested solutions (RS), pp. 25–28.

TACAS-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.

STOC-2001-AlfaroM #game studies

Quantitative solution of ω-regular games (LdA, RM), pp. 675–683.

CIAA-2001-BoigelotL #equation

Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.

ICALP-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.

CIKM-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.

MLDM-2001-IndurkhyaW #rule-based

Rule-Based Ensemble Solutions for Regression (NI, SMW), pp. 62–72.

TOOLS-USA-2001-KhrissBP #integration #named

GAIL: The Gen-It (r) Abstract Integration Layer for B2B Application Integration Solutions (IK, MB, NP), pp. 73–82.

HPDC-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–?.

DATE-2000-GirolaPV

Smart Antenna Receiver Based on a Single Chip Solution for GSM/DCS Baseband Processing (UG, AP, DV), pp. 181–185.

DATE-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.

DATE-2000-ShenoyBC #algorithm #quality #synthesis

A System-Level Synthesis Algorithm with Guaranteed Solution Quality (UNS, PB, ANC), pp. 417–424.

VLDB-2000-Nori #architecture #named

Asera: Extranet Architecture for B2B Solutions (AN), p. 681.

ITiCSE-2000-BurgosGGMMV #design #refinement #specification

Abstract solution design by specification refinement (JMB, JG, JG, JJM, SM, DV), p. 186.

ICALP-2000-BolligW #bound #problem

Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems (BB, IW), pp. 187–198.

CSCW-2000-DaijavadFFFLTW #experience #user interface

User experience of CLIVE/mbanx solution (SD, THF, TF, TF, AL, MT, CGW), p. 352.

ICPR-v1-2000-GrossmannV #re-engineering

A Closed-Form Solution for Paraperspective Reconstruction (EG, JSV), pp. 1864–1867.

ICPR-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.

ICPR-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.

ICPR-v3-2000-RoyG #probability

MRF Solutions for Probabilistic Optical Flow Formulations (SR, VG), pp. 7053–7059.

ECOOP-2000-GrogonoS #problem

Copying and Comparing: Problems and Solutions (PG, MS), pp. 226–250.

TOOLS-EUROPE-2000-Pour #component #development #enterprise #java

Enterprise JavaBeans (EJB): New Opportunities for Component-Based Development of Web-Based Enterprise Solutions (GP), p. 473.

ICSE-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.

DATE-1999-WambacqDZEMB

A Single-Package Solution for Wireless Transceivers (PW, SD, HZ, ME, HDM, IB), p. 425–?.

HT-1999-KaindlKD #generative #taxonomy

Semiautomatic Generation of Glossary Links: A Practical Solution (HK, SK, PSND), pp. 3–12.

ICDAR-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.

VLDB-1999-DattaRT #named #novel #performance

Curio: A Novel Solution for Efficient Storage and Indexing in Data Warehouses (AD, KR, HMT), pp. 730–733.

ITiCSE-1999-MadejW #education #intranet #named

IntraED — an intranet solution for EDucation (JM, TW), p. 203.

STOC-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.

ICALP-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.

HCI-CCAD-1999-Menzel #design

New design solution for call center work places from the point of view of furniture manufacturer (DM), pp. 1327–1331.

HCI-CCAD-1999-Niemeier #network #web #web service

Networking Companies: from basic web services to business solutions (JN), pp. 467–471.

HCI-CCAD-1999-Rentzsch #design

Human-computer-interactions in call centres — ergonomic demands and design solutions (MR), pp. 1311–1315.

AdaEurope-1999-Frost #ada #certification #embedded #safety

An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.

ICML-1999-GiordanaP #behaviour #on the

On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.

KDD-1999-RossetMNIP #challenge

Discovery of Fraud Rules for Telecommunications — Challenges and Solutions (SR, UM, EN, YI, GP), pp. 409–413.

SIGIR-1999-Baumgarten #distributed #information retrieval #problem

A Probabilitstic Solution to the Selection and Fusion Problem in Distributed Information Retrieval (CB), pp. 246–253.

HPDC-1999-CastanosS #adaptation #framework #named

PARED: A Framework for the Adaptive Solution of PDEs (JGC, JES), pp. 133–140.

DATE-1998-Catthoor #architecture #design #energy #performance

Energy-Delay Efficient Data Storage and Transfer Architectures: Circuit Technology versus Design Methodology Solutions (FC), pp. 709–714.

SIGMOD-1998-Kennamer #data transformation #transaction

Microsoft.com: A High-Scale Data Management and Transaction Processing Solution (SK), pp. 539–540.

VLDB-1998-CarinoO #execution #optimisation #parallel

Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.

ICSM-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.

SAS-1998-GoyalP #problem

A New Solution to the Hidden Copy Problem (DG, RP), pp. 327–348.

STOC-1998-BeigelBF #detection

NP Might Not Be As Easy As Detecting Unique Solutions (RB, HB, LF), pp. 203–208.

ICALP-1998-Danvy

A Simple Solution to Type Specialization (OD), pp. 908–917.

ICALP-1998-PlandowskiR #encoding #equation #word

Application of Lempel-Ziv Encodings to the Solution of Words Equations (WP, WR), pp. 731–742.

ICPR-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.

KDD-1998-LingL #data mining #mining #problem

Data Mining for Direct Marketing: Problems and Solutions (CXL, CL), pp. 73–79.

KDD-1998-OatesJ #dataset #modelling #scalability

Large Datasets Lead to Overly Complex Models: An Explanation and a Solution (TO, DJ), pp. 294–298.

OOPSLA-1998-SolorzanoA #java #morphism #parametricity #polymorphism

Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.

ALP-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.

RTA-1998-Schmidt-SchaussS #equation #on the

On the Exponent of Periodicity of Minimal Solutions of Context Equation (MSS, KUS), pp. 61–75.

DAC-1997-DengiR #2d #modelling

Hierarchical 2-D Field Solution for Capacitance Extraction for VLSI Interconnect Modeling (EAD, RAR), pp. 127–132.

EDTC-1997-Sachdev #testing

Deep sub-micron IDDQ testing: issues and solutions (MS), pp. 271–278.

EDTC-1997-VerhaeghLAM #approach #multi #scheduling

Multidimensional periodic scheduling: a solution approach (WFJV, PERL, EHLA, JLvM), pp. 468–474.

ICDAR-1997-BaumannADJMWW #documentation

Message Extraction from Printed Documents — A Complete Solution (SB, MBHA, AD, TJ, MM, AW, CW), pp. 1055–1059.

ICSM-2000-Lynd #2d #maintenance #using

Living with the 2-digit Year Year 2000 Maintenance Using a Procedural Solution (ECL), p. 206–?.

STOC-1997-Pan #equation #performance

Faster Solution of the Key Equation for Decoding BCH Error-Correcting Codes (VYP), pp. 168–175.

FME-1997-MokkedemFJ #protocol #specification #verification

A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol (AM, MJF, RdBJ), pp. 398–417.

TOOLS-USA-1997-MattssonB #composition #framework #problem

Framework Composition: Problems, Causes and Solutions (MM, JB), pp. 203–214.

SAC-1997-LinXY #analysis #parallel #performance #problem

Performance analysis for parallel solutions to generic search problems (WML, WX, BY), pp. 422–430.

SAC-1997-Maddi #problem

Token based solutions to M resources allocation problem (AM), pp. 340–344.

RTA-1997-TomasF #equation #geometry #linear #using

Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.

DAC-1996-RoychowdhuryM #scalability

Homotopy Techniques for Obtaining a DC Solution of Large-Scale MOS Circuits (JSR, RCM), pp. 286–291.

SIGMOD-1996-GrayHOS #replication

The Dangers of Replication and a Solution (JG, PH, PEO, DS), pp. 173–182.

ITiCSE-1996-Jones #distance #education #problem

Computing by distance education: problems and solutions (DJ), pp. 139–146.

FME-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.

AdaEurope-1996-MillanB #ada #performance #persistent

Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 (TM, PB), pp. 396–412.

ICML-1996-LiuS #approach #feature model #probability

A Probabilistic Approach to Feature Selection — A Filter Solution (HL, RS), pp. 319–327.

ICPR-1996-CharvillatT #3d #modelling #probability

Registration of stereo-based 3D maps for object modeling: a stochastic yet intelligent solution (VC, BT), pp. 780–785.

ICPR-1996-HillCT

Least-squares solution of absolute orientation with non-scalar weights (AH, TFC, CJT), pp. 461–465.

ICPR-1996-MollerGW #clustering #network #performance

Fast vector quantizer on neural clustering networks providing globally optimal cluster solutions (UM, MG, HW), pp. 351–355.

ICPR-1996-Pito #problem

A sensor-based solution to the “next best view” problem (RP), pp. 941–945.

HPDC-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.

DAC-1995-MeijsG

Delayed Frontal Solution for Finite-Element Based Resistance Extraction (NPvdM, AJvG), pp. 273–278.

SIGMOD-1995-Freeston #problem

A General Solution of the n-dimensional B-tree Problem (MF), pp. 80–91.

TACAS-1995-Tofts #approximate #probability #process

Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes (CMNT), pp. 174–194.

STOC-1995-Reif #parallel #performance #polynomial

Work efficient parallel solution of Toeplitz systems and polynomial GCD (JHR), pp. 751–761.

DLT-1995-Lipponen #on the #problem

On F-Prime Solutions of the Post Correspondence Problem (ML), pp. 139–147.

ICALP-1995-Lipponen #problem #word

Post Correspondence Problem: Words Possible as Primitive Solutions (ML), pp. 63–74.

TRI-Ada-1995-Shumate95b #analysis #design #functional #object-oriented #requirements

BATCES Solution #1: An Object-Oriented Design from Functional Requirements Analysis (KS), pp. 737–739.

CIKM-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.

ICML-1995-Schmidhuber #complexity

Discovering Solutions with Low Kolmogorov Complexity and High Generalization Capability (JS), pp. 488–496.

HPCA-1995-KimMJAJK #effectiveness #named #problem

U-Cache: A Cost-Effective Solution to the Synonym Problem (JK, SLM, SJ, BA, DKJ, CSK), pp. 243–252.

RTA-1995-AbdulrabM #equation #linear

General Solution of Systems of Linear Diophantine Equations and Inequations (HA, MM), pp. 339–351.

PLDI-1994-Pugh #how #why

Counting Solutions to Presburger Formulas: How and Why (WP), pp. 121–134.

ICALP-1994-Seidl #equation

Least Solutions of Equations over N (HS), pp. 400–411.

SAC-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.

HPDC-1994-PramanickP #distributed #evaluation #fault #problem #quality

Distributed Solutions to the Delay Fault Test Quality Evaluation Problem (IP, AKP), pp. 177–185.

DAC-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.

ICDAR-1993-RochaP #problem

A solution to the problem of touching and broken characters (JR, TP), pp. 602–605.

ICALP-1993-Contejean #reduction

A Partial Solution for D-Unification Based on a Reduction to AC1-Unification (EC), pp. 621–632.

SEKE-1993-BombanaBCFSZ #analysis #functional #testing

An Expert Solution to Functional Testability Analysis of VLSI Circuits (MB, GB, PC, FF, DS, GZ), pp. 263–265.

SAC-1993-AdusumilliO #distributed

An Integrated Solution for Managing Replicated Data in Distributed Systems (PRA, LJO), pp. 351–357.

SAC-1993-SekharanW #algorithm #search-based

Manipulating Subpopulations of Feasible and Infeasible Solutions in Genetic Algorithms (DAS, RLW), pp. 118–125.

SAC-1993-Spring #automation #benchmark #generative #metric

Benchmarking Automated Solution Generators for the Crozzle (JS), pp. 247–250.

HPDC-1993-Pramanick #distributed #problem

Distributed Computing Solutions to the All-Pairs Shortest Path Problem (IP), pp. 196–203.

CSL-1993-GradelM #problem #random

Approximable Minimization Problems and Optimal Solutions on Random Inputs (EG, AM), pp. 139–149.

SIGMOD-1992-MehrotraRBKS #concurrent #multi #problem

The Concurrency Control Problem in Multidatabases: Characteristics and Solutions (SM, RR, YB, HFK, AS), pp. 288–297.

AdaEurope-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.

CC-1992-Assmann #problem

Another Solution of Scoping Problems in Symbol Tables (WA), pp. 66–71.

HPDC-1992-SinghAW #performance

Computing Radiosity Solution on a High Performance Workstation LAN (GBS, SGA, FHW), pp. 248–257.

CSL-1992-BehrendtCG #approximate #optimisation #problem

Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.

ICALP-1991-RanjanCR

Improving Known Solutions is Hard (DR, SC, PR), pp. 381–392.

ICLP-1991-Scowen #bibliography #problem #prolog #standard

An Overview of Prolog Standardization — Progress, Problems and Solutions (RSS), pp. 922–936.

RTA-1991-Pottier #algorithm #bound #linear

Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms (LP), pp. 162–173.

ICALP-1990-PanR #multi #on the

On the Bit-Complexity of Discrete Solutions of PDEs: Compact Multigrid (VYP, JHR), pp. 612–625.

GG-1990-Bauderon #equation #recursion

General Solution to a System of Recursive Equations (MB), pp. 113–126.

NACLP-1990-KaleR #parallel

Joining AND Parallel Solutions in AND/OR Parallel Systems (LVK, BR), pp. 624–641.

DAC-1989-Ghewala #named #testing

CrossCheck: A Cell Based VLSI Testability Solution (TG), pp. 706–709.

DAC-1989-Libeskind-HadasL #network #problem

Solutions to the Module Orientation and Rotation Problems by Neural Computation Networks (RLH, CLL), pp. 400–405.

KR-1989-Baker #problem

A Simple Solution to the Yale Shooting Problem (ABB), pp. 11–20.

KR-1989-Davis

Solutions to a Paradox of Perception with Limited Acuity (ED), pp. 79–82.

KR-1989-Kasif #constraints #parallel #problem

Parallel Solutions to Constraint Satisfaction Problems (SK), pp. 180–188.

KR-1989-RossiM #constraints #linear #network #using

Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation (FR, UM), pp. 394–399.

ML-1989-Mahadevan #problem #using

Using Determinations in EBL: A Solution to the incomplete Theory Problem (SM), pp. 320–325.

OOPSLA-1989-RossonG #design #object-oriented #problem

Problem-Solution Mapping in Object-Oriented Design (MBR, EG), pp. 7–10.

LICS-1989-KfouryTU #problem #unification

Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) (AJK, JT, PU), pp. 98–105.

NACLP-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.

DAC-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.

DAC-1988-CongW #how

How to Obtain More Compactable Channel Routing Solutions (JC, DFW), pp. 663–666.

DAC-1988-PillageR #metric #polynomial

A Quadratic Metric with a Simple Solution Scheme for Initial Placement (LTP, RAR), pp. 324–329.

CADE-1988-DonatW #higher-order #learning #using

Learning and Applying Generalised Solutions using Higher Order Resolution (MRD, LAW), pp. 41–60.

GG-1986-MontanariR #algorithm #constraints #network #performance

An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints (UM, FR), pp. 440–457.

LICS-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.

STOC-1985-FriedlR #algebra #polynomial #problem

Polynomial Time Solutions of Some Problems in Computational Algebra (KF, LR), pp. 153–162.

STOC-1985-PanR #linear #parallel #performance

Efficient Parallel Solution of Linear Systems (VYP, JHR), pp. 143–152.

STOC-1985-ValiantV #detection

NP Is as Easy as Detecting Unique Solutions (LGV, VVV), pp. 458–463.

ICALP-1985-ChazelleE #problem #retrieval

Optimal Solutions for a Class of Point Retrieval Problems (BC, HE), pp. 80–89.

SLP-1985-Naish85 #prolog

All Solutions Predicates in Prolog (LN), pp. 73–77.

STOC-1984-FredericksonS #data type #online

Data Structures for On-Line Updating of Matroid Intersection Solutions (Preliminary Version) (GNF, MAS), pp. 383–390.

STOC-1984-GoldbergM #on the #problem

On Finding the Exact Solution of a Zero-One Knapsack Problem (AVG, AMS), pp. 359–368.

ICALP-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.

SIGIR-1983-Rijsbergen83a #information retrieval

Information Retrieval: New Directions, Old Solutions (CJvR), pp. 264–265.

VLDB-1982-Shoshani #database #problem #statistics

Statistical Databases: Characteristics, Problems, and some Solutions (AS), pp. 208–222.

DAC-1981-PeledC #design

The “gap” between users and designers of CAD/CAM systems: Search for solutions (JP, MPC), pp. 703–705.

ICALP-1981-Pearl #algorithm #branch

The Solution for the Branching Factor of the α-β Pruning Algorithm (JP), pp. 521–529.

POPL-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.

DAC-1980-HeynsSB #algorithm #problem

A line-expansion algorithm for the general routing problem with a guaranteed solution (WH, WS, HB), pp. 243–249.

STOC-1980-Tompa #problem

An Optimal Solution to a Wire-Routing Problem (Preliminary Version) (MT), pp. 161–176.

DAC-1979-Lichten #design #parametricity #scalability

A partial solution to fitting large parametric surfaces in computer-aided design systems (LL), pp. 222–228.

SOSP-1979-Gehringer #problem

Variable-Length Capabilities as a Solution to the Small-Object Problem (EFG), pp. 131–142.

DAC-1978-Harvel #classification #effectiveness

Classification of PCB types for cost effective solutions (JTH), pp. 444–445.

STOC-1978-Katseff #problem

A New Solution to the Critical Section Problem (HPK), pp. 86–88.

STOC-1977-PetersonF #distributed #problem

Economical Solutions for the Critical Section Problem in a Distributed System (Extended Abstract) (GLP, MJF), pp. 91–97.

SOSP-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.

DAC-1976-PiscatelliT

A solution to closeness checking of non-orthogonal printed circuit board wiring (RNP, PT), pp. 172–178.

DAC-1975-Ciampi #problem

A system for solution of the placement problem (PLC), pp. 317–323.

STOC-1974-Leeuwen #problem

A Partial Solution to the Reachability-Problem for Vector-Addition Systems (JvL), pp. 303–309.

ICALP-1972-HoschL #finite

Finite Delay Solutions for Sequential Conditions (FAH, LHL), pp. 45–60.

DAC-1969-Hightower #problem

A solution to line-routing problems on the continuous plane (DWH), pp. 1–24.

DAC-1968-Weinberg #problem

Microelectronics and printed circuits: Problems and their solutions (LW).