Stem formul$ (all stems)

116 papers:

CASE-2015-ZhaoLH #estimation #flexibility #performance #problem

Plant flexibility planning: Problem formulation and performance estimation (CZ, JL, NH), pp. 659–664.

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

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

ICML-2015-PlessisNS #learning

Convex Formulation for Learning from Positive and Unlabeled Data (MCdP, GN, MS), pp. 1386–1394.

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

DAC-2014-MoctarB #parallel

Parallel FPGA Routing based on the Operator Formulation (YOMM, PB), p. 6.

ICSME-2014-Haiduc #query #re-engineering #retrieval

Supporting Query Formulation for Text Retrieval Applications in Software Engineering (SH), pp. 657–662.

ICALP-v1-2014-GavinskyL #reduction

En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations (DG, SL), pp. 514–524.

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

SIGIR-2014-KatoYOT #query

Investigating users’ query formulations for cognitive search intents (MPK, TY, HO, KT), pp. 577–586.

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-WangSS #novel #order #polynomial #problem #scheduling

A novel quadratic formulation for customer order scheduling problem (LW, ZS, LS), pp. 576–580.

ICDAR-2013-SankaranNJ #recognition

Devanagari Text Recognition: A Transcription Based Formulation (NS, AN, CVJ), pp. 678–682.

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

STOC-2013-BravermanM #approach #complexity

An information complexity approach to extended formulations (MB, AM), pp. 161–170.

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

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

ICML-c1-2013-DoK

Convex formulations of radius-margin based Support Vector Machines (HD, AK), pp. 169–177.

ITiCSE-2012-DrorR #automaton #finite

The effect of mathematical vs. verbal formulation for finite automata (TD, DLR), p. 382.

STOC-2012-FioriniMPTW #bound #exponential #linear

Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds (SF, SM, SP, HRT, RdW), pp. 95–106.

ECIR-2012-DiriyeTB #interactive #process #query

A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process (AD, AT, AB), pp. 531–534.

ICML-2012-DefazioC #collaboration #performance #visual notation

A Graphical Model Formulation of Collaborative Filtering Neighbourhood Methods with Fast Maximum Entropy Training (AD, TSC), p. 75.

ICML-2012-JawanpuriaN #learning

A Convex Feature Learning Formulation for Latent Task Structure Discovery (PJ, JSN), p. 199.

ICPR-2012-GkamasCN #probability #problem

A probabilistic formulation of the optical flow problem (TG, GKC, CN), pp. 754–757.

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

KDD-2012-JiZL #clustering

A sparsity-inducing formulation for evolutionary co-clustering (SJ, WZ, JL), pp. 334–342.

SIGMOD-2011-JinBXCZ #named #query #visual notation

GBLENDER: visual subgraph query formulation meets query processing (CJ, SSB, XX, BC, SZ), pp. 1327–1330.

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

SAS-2011-MadhavanRV #abstract interpretation #analysis

Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.

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

KDD-2011-KaufmanRP #data mining #detection #mining

Leakage in data mining: formulation, detection, and avoidance (SK, SR, CP), pp. 556–563.

KDD-2011-ZhouYLY #learning #multi #predict

A multi-task learning formulation for predicting disease progression (JZ, LY, JL, JY), pp. 814–822.

SIGIR-2011-SuzukiNJ #effectiveness

Formulating effective questions for community-based question answering (SS, SiN, HJ), pp. 1261–1262.

CASE-2010-LiH #analysis #framework #modelling #problem

Modeling and analysis of hospital emergency department: An analytical framework and problem formulation (JL, PKH), pp. 897–902.

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

ICML-2010-BhadraBBB #kernel #matrix #nondeterminism #robust

Robust Formulations for Handling Uncertainty in Kernel Matrices (SB, SB, CB, ABT), pp. 71–78.

ICPR-2010-HouY #modelling

A Variational Formulation for Fingerprint Orientation Modeling (ZH, WYY), pp. 1626–1629.

ICPR-2010-Sato #classification #design #kernel #learning

A New Learning Formulation for Kernel Classifier Design (AS), pp. 2897–2900.

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

ICEIS-AIDSS-2009-LiH #aspect-oriented #framework #logic

Formulating Aspects of Paypal in the Logic Framework of GBMF (ML, CJH), pp. 39–44.

ICML-2009-ChenTLY #learning #multi

A convex formulation for learning shared structures from multiple tasks (JC, LT, JL, JY), pp. 137–144.

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

TLCA-2009-WilkenW #complexity

Complexity of Gödel’s T in λ-Formulation (GW, AW), pp. 386–400.

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

ICEIS-ISAS2-2008-Venable #analysis #problem #requirements

Improving Requirements Analysis — Rigourous Problem Analysis and Formulation with Coloured Cognitive Maps (JRV), pp. 466–470.

ICML-2008-SunJY #analysis #canonical #correlation

A least squares formulation for canonical correlation analysis (LS, SJ, JY), pp. 1024–1031.

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

SIGIR-2008-BalogWR #modelling #query

A few examples go a long way: constructing query models from elaborate query formulations (KB, WW, MdR), pp. 371–378.

CASE-2007-CamponogaraCP #scheduling

Compressor Scheduling in Oil Fields: A Piecewise-Linear Formulation (EC, MPdC, AP), pp. 436–441.

DAC-2007-LinL #novel #symmetry

Analog Placement Based on Novel Symmetry-Island Formulation (MPHL, SCL), pp. 465–470.

DATE-2007-OstlerC #architecture #network

An ILP formulation for system-level application mapping on network processor architectures (CO, KSC), pp. 99–104.

SIGMOD-2007-PetropoulosDP #architecture #interactive #named #query

CLIDE: interactive query formulation for service oriented architectures (MP, AD, YP), pp. 1119–1121.

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

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

CASE-2006-XieZJ

Optimal control for networked control system via δ-operator formulation (LX, WZ, ZJ), pp. 656–660.

DAC-2006-CongZ #algorithm #performance #scheduling

An efficient and versatile scheduling algorithm based on SDC formulation (JC, ZZ), pp. 433–438.

DAC-2006-YuhYC #using

Placement of digital microfluidic biochips using the t-tree formulation (PHY, CLY, YWC), pp. 931–934.

DATE-2006-TanjiWKA #analysis #scalability #using

Large scale RLC circuit analysis using RLCG-MNA formulation (YT, TW, HK, HA), pp. 45–46.

SIGMOD-2006-PetropoulosDP #interactive #query #web #web service

Interactive query formulation over web service-accessed sources (MP, AD, YP), pp. 253–264.

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

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

ICPR-v3-2006-AnLV #classification #performance

Efficient Cross-validation of the Complete Two Stages in KFD Classifier Formulation (SA, WL, SV), pp. 240–244.

ICPR-v3-2006-CaetanoC #invariant #pattern matching

A Unified Formulation of Invariant Point Pattern Matching (TSC, TC), pp. 121–124.

KDD-2006-NathBM #approach #classification #clustering #scalability #using

Clustering based large margin classification: a scalable approach using SOCP formulation (JSN, CB, MNM), pp. 674–679.

DATE-2005-WangM #approximate #modelling

EM Wave Coupling Noise Modeling Based on Chebyshev Approximation and Exact Moment Formulation (BW, PM), pp. 976–981.

ECIR-2005-MishneR05a #query

Query Formulation for Answer Projection (GM, MdR), pp. 523–526.

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

KDD-2005-WuCP #distance #kernel

Formulating distance functions via the kernel trick (GW, EYC, NP), pp. 703–709.

SIGIR-2005-HoenkampD05a #feedback #query #visual notation

Live visual relevance feedback for query formulation (EH, GvD), pp. 611–612.

CSL-2005-Katsumata #logic #metalanguage #semantics

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.

CAiSE-2004-Soderstrom #lifecycle #standard

Formulating a General Standards Life Cycle (ES), pp. 263–275.

KR-2004-ShanahanR #visual notation

A Logic-Based Formulation of Active Visual Perception (MS, DAR), pp. 64–72.

SIGIR-2004-SakaiSIKK #evaluation

The effect of back-formulating questions in question answering evaluation (TS, YS, YI, TK, MK), pp. 474–475.

UML-2004-CaronCMV #ocl #uml

An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.

SAC-2004-MarkWC #automation #code generation #modelling #using

Using semi-lagrangian formulations with automatic code generation for environmental modeling (PvdM, LW, GC), pp. 229–234.

CAV-2004-Namjoshi #model checking

An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking (KSN), pp. 57–69.

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

SAT-2003-MneimnehS #graph #scalability

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

DATE-2002-KoranneC #network #problem #scheduling

Formulation of SOC Test Scheduling as a Network Transportation Problem (SK, VSC), p. 1125.

DATE-2002-LeeLFCH #problem

A New Formulation for SOC Floorplan Area Minimization Problem (CHL, YCL, WYF, CCC, TMH), p. 1100.

DATE-2002-XuM #matrix

Formulation of Low-Order Dominant Poles for Y-Matrix of Interconnects (QX, PM), pp. 820–825.

FoSSaCS-2002-FerrariMP #algebra #calculus

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation (GLF, UM, MP), pp. 129–158.

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

ICPR-v1-2002-GoncalvesA #3d #difference #estimation

Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations (NG, HA), pp. 335–338.

TestCom-2002-WilliamsP #integer #interactive #problem #test coverage

Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.

CIAA-2001-Neto #adaptation #case study

Adaptive Rule-Driven Devices — General Formulation and Case Study (JJN), pp. 234–250.

SAT-2001-RanderathSBHKMSC #graph #problem #satisfiability

A Satisfiability Formulation of Problems on Level Graphs (BR, ES, EB, PLH, AK, KM, BS, OC), pp. 269–277.

ICPR-v3-2000-RoyG #probability

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

KR-2000-BaralMS #problem #using

Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.

SIGIR-2000-BaekLR #query #semantics

Latent semantic indexing model for boolean query formulation (DHB, HSL, HCR), pp. 310–312.

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

DAC-1999-KimHT #on the #self #synthesis

On ILP Formulations for Built-In Self-Testable Data Path Synthesis (HBK, DSH, TT), pp. 742–747.

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

ACIR-1998-SmeatonK #information retrieval #interactive #query

User-Chosen Phrases in Interactive Query Formulation for Information Retrieval (AFS, FK).

ICPR-1998-SatoY #classification #learning #using

A formulation of learning vector quantization using a new misclassification measure (AS, KY), pp. 322–325.

ICRE-1998-Franch #non-functional

Systematic Formulation of Non-Functional Characteristics of Software (XF), pp. 174–181.

EDTC-1997-MignotteP #scheduling #using

Scheduling using mixed arithmetic: an ILP formulation (AM, OP), p. 621.

VLDB-1997-GoldmanW #database #named #optimisation #query #semistructured data

DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases (RG, JW), pp. 436–445.

PLDI-1997-EichenbergerD #performance

Efficient Formulation for Optimal Modulo Schedulers (AEE, ESD), pp. 194–205.

UML-1997-Kern-BauschJ #concept #semantics #uml

From a Semantically Irreducible Formulated Conceptual Schema to an UML Model (LKB, MJ), pp. 32–44.

CSL-1997-BraunerP #linear #logic

A Formulation of Linear Logic Based on Dependency-Relations (TB, VdP), pp. 129–148.

SEKE-1996-CheeJR #process #query

An Intelligent Process for Formulating and Anwering Project Queries (CLC, SJ, CVR), pp. 309–316.

STOC-1995-MillerTTW #generative

A Delaunay based numerical method for three dimensions: generation, formulation, and partition (GLM, DT, SHT, NW), pp. 683–692.

ESOP-1994-JeuringS #analysis #bottom-up #functional

Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.

SAC-1994-RuizSG #tutorial

A tutorial system for inorganic chemical formulations and reactions (ILR, JLCS, MÁGN), pp. 583–587.

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

SEKE-1992-Semmel #database #design #query

An Integrated System for Query Formulation and Database Design (RDS), pp. 40–46.

ML-1991-BhatiaDR #information management #query

Query Formulation Through Knowledge Acquisition (SKB, JSD, VVR), pp. 250–254.

JICSCP-1988-Saraswat88 #logic

A Somewhat Logical Formulation of CLP Synchronisation Primitives (VAS), pp. 1298–1314.

SIGIR-1986-GibbsT #documentation #query

Document Presentation and Query Formulation in Muse (SJG, DT), pp. 23–30.

CADE-1986-KanamoriF #induction #prolog #source code #verification

Formulation of Induction Formulas in Verification of Prolog Programs (TK, HF), pp. 281–299.

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

STOC-1978-MillerY #on the #parallel

On Formulating Simultaneity for Studying Parallelism and Synchronization (REM, CKY), pp. 105–113.

VDM-1978-Jones78a #continuation #goto #semantics

Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations (CBJ), pp. 278–304.

SIGFIDET-1974-FryJ #towards

Towards a Formulation and Definition of Data Reorganization (JPF, DWJ), pp. 83–100.