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:
queri (27)
problem (17)
base (15)
model (14)
use (10)

Stem formul$ (all stems)

116 papers:

CASECASE-2015-ZhaoLH #estimation #flexibility #performance #problem
Plant flexibility planning: Problem formulation and performance estimation (CZ, JL, NH), pp. 659–664.
VLDBVLDB-2015-JayaramGL #graph #interactive #interface #named #query #visual notation
VIIQ: Auto-Suggestion Enabled Visual Interface for Interactive Graph Query Formulation (NJ, SG, CL), pp. 1940–1951.
ICALPICALP-v1-2015-KurpiszLM #on the #problem
On the Hardest Problem Formulations for the 0/1 0 / 1 Lasserre Hierarchy (AK, SL, MM), pp. 872–885.
ICMLICML-2015-PlessisNS #learning
Convex Formulation for Learning from Positive and Unlabeled Data (MCdP, GN, MS), pp. 1386–1394.
OOPSLAOOPSLA-2015-ErdwegBKKM #incremental #type checking
A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.
DACDAC-2014-MoctarB #parallel
Parallel FPGA Routing based on the Operator Formulation (YOMM, PB), p. 6.
ICSMEICSME-2014-Haiduc #query #re-engineering #retrieval
Supporting Query Formulation for Text Retrieval Applications in Software Engineering (SH), pp. 657–662.
ICALPICALP-v1-2014-GavinskyL #reduction
En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations (DG, SL), pp. 514–524.
HCIHCI-TMT-2014-PhotiadisZ #3d #design #experience #user interface #visualisation
The Formulation and Visualization of 3D Avatar Design, Including Three Basic Theoretical Elements: Aesthetic, User Experience and Psychology (TP, PZ), pp. 134–144.
SIGIRSIGIR-2014-KatoYOT #query
Investigating users’ query formulations for cognitive search intents (MPK, TY, HO, KT), pp. 577–586.
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-WangSS #novel #order #polynomial #problem #scheduling
A novel quadratic formulation for customer order scheduling problem (LW, ZS, LS), pp. 576–580.
ICDARICDAR-2013-SankaranNJ #recognition
Devanagari Text Recognition: A Transcription Based Formulation (NS, AN, CVJ), pp. 678–682.
SIGMODSIGMOD-2013-HungBTCZ #named #network #query #scalability #visual notation
QUBLE: blending visual subgraph query formulation with query processing on large networks (HHH, SSB, BQT, BC, SZ), pp. 1097–1100.
STOCSTOC-2013-BravermanM #approach #complexity
An information complexity approach to extended formulations (MB, AM), pp. 161–170.
ICEISICEIS-v1-2013-PiazzaR #implementation #modelling #multi #problem
Bridging the Gap between Multidimensional Business Problem Formulation and the Implementation of Multidimensional Data Models (FP, FR), pp. 79–87.
ICEISICEIS-v1-2013-Santibanez-GonzalezM #network #novel
A Novel Mathematical Formulation for the Strategic Planning of a Reverse Supply Chain Network — Theoretical and Computational Results (EDRSG, NM), pp. 570–577.
ICMLICML-c1-2013-DoK
Convex formulations of radius-margin based Support Vector Machines (HD, AK), pp. 169–177.
ITiCSEITiCSE-2012-DrorR #automaton #finite
The effect of mathematical vs. verbal formulation for finite automata (TD, DLR), p. 382.
STOCSTOC-2012-FioriniMPTW #bound #exponential #linear
Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds (SF, SM, SP, HRT, RdW), pp. 95–106.
ECIRECIR-2012-DiriyeTB #interactive #process #query
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process (AD, AT, AB), pp. 531–534.
ICMLICML-2012-DefazioC #collaboration #performance #visual notation
A Graphical Model Formulation of Collaborative Filtering Neighbourhood Methods with Fast Maximum Entropy Training (AD, TSC), p. 75.
ICMLICML-2012-JawanpuriaN #learning
A Convex Feature Learning Formulation for Latent Task Structure Discovery (PJ, JSN), p. 199.
ICPRICPR-2012-GkamasCN #probability #problem
A probabilistic formulation of the optical flow problem (TG, GKC, CN), pp. 754–757.
ICPRICPR-2012-GuK #learning #online #visual notation
Grassmann manifold online learning and partial occlusion handling for visual object tracking under Bayesian formulation (IYHG, ZHK), pp. 1463–1466.
KDDKDD-2012-JiZL #clustering
A sparsity-inducing formulation for evolutionary co-clustering (SJ, WZ, JL), pp. 334–342.
SIGMODSIGMOD-2011-JinBXCZ #named #query #visual notation
GBLENDER: visual subgraph query formulation meets query processing (CJ, SSB, XX, BC, SZ), pp. 1327–1330.
CSEETCSEET-2011-BoehmBGHPST #education #re-engineering
Panel on the role of graduate software and systems engineering bodies of knowledge in formulating graduate software engineering curricula (BWB, PB, DG, TBH, ABP, MMS, JBT), pp. 535–536.
SASSAS-2011-MadhavanRV #abstract interpretation #analysis
Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.
HCIDHM-2011-ZouZYBGC #predict
An Alternative Formulation for Determining Weights of Joint Displacement Objective Function in Seated Posture Prediction (QZ, QZ, J(Y, RB, JG, AC), pp. 231–242.
KDDKDD-2011-KaufmanRP #data mining #detection #mining
Leakage in data mining: formulation, detection, and avoidance (SK, SR, CP), pp. 556–563.
KDDKDD-2011-ZhouYLY #learning #multi #predict
A multi-task learning formulation for predicting disease progression (JZ, LY, JL, JY), pp. 814–822.
SIGIRSIGIR-2011-SuzukiNJ #effectiveness
Formulating effective questions for community-based question answering (SS, SiN, HJ), pp. 1261–1262.
CASECASE-2010-LiH #analysis #framework #modelling #problem
Modeling and analysis of hospital emergency department: An analytical framework and problem formulation (JL, PKH), pp. 897–902.
SIGMODSIGMOD-2010-JinBXCC #database #graph #named #query #towards #visual notation
GBLENDER: towards blending visual query formulation and query processing in graph databases (CJ, SSB, XX, JC, BC), pp. 111–122.
ICMLICML-2010-BhadraBBB #kernel #matrix #nondeterminism #robust
Robust Formulations for Handling Uncertainty in Kernel Matrices (SB, SB, CB, ABT), pp. 71–78.
ICPRICPR-2010-HouY #modelling
A Variational Formulation for Fingerprint Orientation Modeling (ZH, WYY), pp. 1626–1629.
ICPRICPR-2010-Sato #classification #design #kernel #learning
A New Learning Formulation for Kernel Classifier Design (AS), pp. 2897–2900.
DATEDATE-2009-YiHZEA #architecture #manycore #scheduling
An ILP formulation for task mapping and scheduling on multi-core architectures (YY, WH, XZ, ATE, TA), pp. 33–38.
ICEISICEIS-AIDSS-2009-LiH #aspect-oriented #framework #logic
Formulating Aspects of Paypal in the Logic Framework of GBMF (ML, CJH), pp. 39–44.
ICMLICML-2009-ChenTLY #learning #multi
A convex formulation for learning shared structures from multiple tasks (JC, LT, JL, JY), pp. 137–144.
ICMLICML-2009-SunJY #machine learning #problem
A least squares formulation for a class of generalized eigenvalue problems in machine learning (LS, SJ, JY), pp. 977–984.
TLCATLCA-2009-WilkenW #complexity
Complexity of Gödel’s T in λ-Formulation (GW, AW), pp. 386–400.
CASECASE-2008-HuLH #bibliography #enterprise #modelling #problem #towards
Towards modeling of resilience dynamics in manufacturing enterprises: Literature review and problem formulation (YH, JL, LEH), pp. 279–284.
ICEISICEIS-ISAS2-2008-Venable #analysis #problem #requirements
Improving Requirements Analysis — Rigourous Problem Analysis and Formulation with Coloured Cognitive Maps (JRV), pp. 466–470.
ICMLICML-2008-SunJY #analysis #canonical #correlation
A least squares formulation for canonical correlation analysis (LS, SJ, JY), pp. 1024–1031.
ICPRICPR-2008-SanromaSA #clique #graph
Improving the matching of graphs generated from shapes by the use of procrustes distances into a clique-based MAP formulation (GS, FS, RA), pp. 1–4.
SIGIRSIGIR-2008-BalogWR #modelling #query
A few examples go a long way: constructing query models from elaborate query formulations (KB, WW, MdR), pp. 371–378.
CASECASE-2007-CamponogaraCP #scheduling
Compressor Scheduling in Oil Fields: A Piecewise-Linear Formulation (EC, MPdC, AP), pp. 436–441.
DACDAC-2007-LinL #novel #symmetry
Analog Placement Based on Novel Symmetry-Island Formulation (MPHL, SCL), pp. 465–470.
DATEDATE-2007-OstlerC #architecture #network
An ILP formulation for system-level application mapping on network processor architectures (CO, KSC), pp. 99–104.
SIGMODSIGMOD-2007-PetropoulosDP #architecture #interactive #named #query
CLIDE: interactive query formulation for service oriented architectures (MP, AD, YP), pp. 1119–1121.
SIGMODSIGMOD-2007-SolimanIC #database #evaluation #named #nondeterminism #performance #query
URank: formulation and efficient evaluation of top-k queries in uncertain databases (MAS, IFI, KCCC), pp. 1082–1084.
CCCC-2007-NagarakatteG #integer #linear #pipes and filters #programming #scheduling #using
Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation (SGN, RG), pp. 126–140.
CASECASE-2006-XieZJ
Optimal control for networked control system via δ-operator formulation (LX, WZ, ZJ), pp. 656–660.
DACDAC-2006-CongZ #algorithm #performance #scheduling
An efficient and versatile scheduling algorithm based on SDC formulation (JC, ZZ), pp. 433–438.
DACDAC-2006-YuhYC #using
Placement of digital microfluidic biochips using the t-tree formulation (PHY, CLY, YWC), pp. 931–934.
DATEDATE-2006-TanjiWKA #analysis #scalability #using
Large scale RLC circuit analysis using RLCG-MNA formulation (YT, TW, HK, HA), pp. 45–46.
SIGMODSIGMOD-2006-PetropoulosDP #interactive #query #web #web service
Interactive query formulation over web service-accessed sources (MP, AD, YP), pp. 253–264.
ECIRECIR-2006-UrbanJ #image #problem #query #question #retrieval
Can a Workspace Help to Overcome the Query Formulation Problem in Image Retrieval? (JU, JMJ), pp. 385–396.
ECIRECIR-2006-ZwolBOW #documentation #named #query #retrieval
Bricks: The Building Blocks to Tackle Query Formulation in Structured Document Retrieval (RvZ, JB, HvO, FW), pp. 314–325.
ICPRICPR-v3-2006-AnLV #classification #performance
Efficient Cross-validation of the Complete Two Stages in KFD Classifier Formulation (SA, WL, SV), pp. 240–244.
ICPRICPR-v3-2006-CaetanoC #invariant #pattern matching
A Unified Formulation of Invariant Point Pattern Matching (TSC, TC), pp. 121–124.
KDDKDD-2006-NathBM #approach #classification #clustering #scalability #using
Clustering based large margin classification: a scalable approach using SOCP formulation (JSN, CB, MNM), pp. 674–679.
DATEDATE-2005-WangM #approximate #modelling
EM Wave Coupling Noise Modeling Based on Chebyshev Approximation and Exact Moment Formulation (BW, PM), pp. 976–981.
ECIRECIR-2005-MishneR05a #query
Query Formulation for Answer Projection (GM, MdR), pp. 523–526.
ECIRECIR-2005-SuomelaK #case study #concept #ontology #query
Ontology as a Search-Tool: A Study of Real Users’ Query Formulation With and Without Conceptual Support (SS, JK), pp. 315–329.
KDDKDD-2005-WuCP #distance #kernel
Formulating distance functions via the kernel trick (GW, EYC, NP), pp. 703–709.
SIGIRSIGIR-2005-HoenkampD05a #feedback #query #visual notation
Live visual relevance feedback for query formulation (EH, GvD), pp. 611–612.
CSLCSL-2005-Katsumata #logic #metalanguage #semantics
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.
CAiSECAiSE-2004-Soderstrom #lifecycle #standard
Formulating a General Standards Life Cycle (ES), pp. 263–275.
KRKR-2004-ShanahanR #visual notation
A Logic-Based Formulation of Active Visual Perception (MS, DAR), pp. 64–72.
SIGIRSIGIR-2004-SakaiSIKK #evaluation
The effect of back-formulating questions in question answering evaluation (TS, YS, YI, TK, MK), pp. 474–475.
UMLUML-2004-CaronCMV #ocl #uml
An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.
SACSAC-2004-MarkWC #automation #code generation #modelling #using
Using semi-lagrangian formulations with automatic code generation for environmental modeling (PvdM, LW, GC), pp. 229–234.
CAVCAV-2004-Namjoshi #model checking
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking (KSN), pp. 57–69.
ICEISICEIS-v3-2003-GoeppK #evolution #information management #problem #towards
Towards a Definition of the Key-Problems in Information System Evolution — Formulating Problems to Better Address Information System Projects (VG, FK), pp. 586–589.
ESEC-FSEESEC-FSE-2003-HerbslebM #coordination #empirical #re-engineering
Formulation and preliminary test of an empirical theory of coordination in software engineering (JDH, AM), pp. 138–137.
ICSTSAT-2003-MneimnehS #graph #scalability
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution (MNM, KAS), pp. 411–425.
DATEDATE-2002-KoranneC #network #problem #scheduling
Formulation of SOC Test Scheduling as a Network Transportation Problem (SK, VSC), p. 1125.
DATEDATE-2002-LeeLFCH #problem
A New Formulation for SOC Floorplan Area Minimization Problem (CHL, YCL, WYF, CCC, TMH), p. 1100.
DATEDATE-2002-XuM #matrix
Formulation of Low-Order Dominant Poles for Y-Matrix of Interconnects (QX, PM), pp. 820–825.
FoSSaCSFoSSaCS-2002-FerrariMP #algebra #calculus
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation (GLF, UM, MP), pp. 129–158.
CAiSECAiSE-2002-PapadopoulosP #community #recommendation #semantics
The Role of Semantic Relevance in Dynamic User Community Management and the Formulation of Recommendations (NP, DP), pp. 200–215.
ICPRICPR-v1-2002-GoncalvesA #3d #difference #estimation
Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations (NG, HA), pp. 335–338.
ICTSSTestCom-2002-WilliamsP #integer #interactive #problem #test coverage
Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.
CIAACIAA-2001-Neto #adaptation #case study
Adaptive Rule-Driven Devices — General Formulation and Case Study (JJN), pp. 234–250.
ICSTSAT-2001-RanderathSBHKMSC #graph #problem #satisfiability
A Satisfiability Formulation of Problems on Level Graphs (BR, ES, EB, PLH, AK, KM, BS, OC), pp. 269–277.
ICPRICPR-v3-2000-RoyG #probability
MRF Solutions for Probabilistic Optical Flow Formulations (SR, VG), pp. 7053–7059.
KRKR-2000-BaralMS #problem #using
Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.
SIGIRSIGIR-2000-BaekLR #query #semantics
Latent semantic indexing model for boolean query formulation (DHB, HSL, HCR), pp. 310–312.
DACDAC-1999-ConnEMOSVW #optimisation #using
Gradient-Based Optimization of Custom Circuits Using a Static-Timing Formulation (ARC, IME, WWM, PRO, PNS, CV, CBW), pp. 452–459.
DACDAC-1999-KimHT #on the #self #synthesis
On ILP Formulations for Built-In Self-Testable Data Path Synthesis (HBK, DSH, TT), pp. 742–747.
DACDAC-1998-MarquesKWS #3d #modelling #performance
A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects (NAM, MK, JW, LMS), pp. 297–302.
ECIRACIR-1998-SmeatonK #information retrieval #interactive #query
User-Chosen Phrases in Interactive Query Formulation for Information Retrieval (AFS, FK).
ICPRICPR-1998-SatoY #classification #learning #using
A formulation of learning vector quantization using a new misclassification measure (AS, KY), pp. 322–325.
REICRE-1998-Franch #non-functional
Systematic Formulation of Non-Functional Characteristics of Software (XF), pp. 174–181.
DATEEDTC-1997-MignotteP #scheduling #using
Scheduling using mixed arithmetic: an ILP formulation (AM, OP), p. 621.
VLDBVLDB-1997-GoldmanW #database #named #optimisation #query #semistructured data
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases (RG, JW), pp. 436–445.
PLDIPLDI-1997-EichenbergerD #performance
Efficient Formulation for Optimal Modulo Schedulers (AEE, ESD), pp. 194–205.
UMLUML-1997-Kern-BauschJ #concept #semantics #uml
From a Semantically Irreducible Formulated Conceptual Schema to an UML Model (LKB, MJ), pp. 32–44.
CSLCSL-1997-BraunerP #linear #logic
A Formulation of Linear Logic Based on Dependency-Relations (TB, VdP), pp. 129–148.
SEKESEKE-1996-CheeJR #process #query
An Intelligent Process for Formulating and Anwering Project Queries (CLC, SJ, CVR), pp. 309–316.
STOCSTOC-1995-MillerTTW #generative
A Delaunay based numerical method for three dimensions: generation, formulation, and partition (GLM, DT, SHT, NW), pp. 683–692.
ESOPESOP-1994-JeuringS #analysis #bottom-up #functional
Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
SACSAC-1994-RuizSG #tutorial
A tutorial system for inorganic chemical formulations and reactions (ILR, JLCS, MÁGN), pp. 583–587.
TOOLSTOOLS-PACIFIC-1993-HaebichT #object-oriented #policy
An Object-Oriented, Computational Model to Support the Formulation of a National Retirement Icome Policy (WH, TT), pp. 393–406.
SEKESEKE-1992-Semmel #database #design #query
An Integrated System for Query Formulation and Database Design (RDS), pp. 40–46.
ICMLML-1991-BhatiaDR #information management #query
Query Formulation Through Knowledge Acquisition (SKB, JSD, VVR), pp. 250–254.
ICLPJICSCP-1988-Saraswat88 #logic
A Somewhat Logical Formulation of CLP Synchronisation Primitives (VAS), pp. 1298–1314.
SIGIRSIGIR-1986-GibbsT #documentation #query
Document Presentation and Query Formulation in Muse (SJG, DT), pp. 23–30.
CADECADE-1986-KanamoriF #induction #prolog #source code #verification
Formulation of Induction Formulas in Verification of Prolog Programs (TK, HF), pp. 281–299.
SIGIRSIGIR-1980-Radecki #clustering #information retrieval
A Model of a Document-Clustering-Based Information Retrieval System with a Boolean Search Request Formulation (TR), pp. 334–344.
STOCSTOC-1978-MillerY #on the #parallel
On Formulating Simultaneity for Studying Parallelism and Synchronization (REM, CKY), pp. 105–113.
FMVDM-1978-Jones78a #continuation #goto #semantics
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations (CBJ), pp. 278–304.
SIGMODSIGFIDET-1974-FryJ #towards
Towards a Formulation and Definition of Data Reorganization (JPF, DWJ), pp. 83–100.

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.