Stem constrain$ (all stems)

346 papers:

CASE-2015-LuSJSX #approach #multi #nondeterminism #programming

A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.

CASE-2015-ZhuCS #energy #linear #process #recognition #using

Using unlabeled acoustic data with locality-constrained linear coding for energy-related activity recognition in buildings (QZ, ZC, YCS), pp. 174–179.

DAC-2015-ChiangCLJ #design #power management #scalability

Scalable sequence-constrained retention register minimization in power gating design (TWC, KHC, YTL, JHRJ), p. 6.

DAC-2015-KhdrPSH #resource management

Thermal constrained resource management for mixed ILP-TLP workloads in dark silicon chips (HK, SP, MS, JH), p. 6.

DATE-2015-Baruah #graph #scheduling

The federated scheduling of constrained-deadline sporadic DAG task systems (SB), pp. 1323–1328.

DATE-2015-LiaoWC #3d #manycore #online

An online thermal-constrained task scheduler for 3D multi-core processors (CHL, CHPW, KC), pp. 351–356.

DATE-2015-PeemenMC #embedded #optimisation #reuse

Inter-tile reuse optimization applied to bandwidth constrained embedded accelerators (MP, BM, HC), pp. 169–174.

ICSME-2015-LeLL #fault #feature model

Constrained feature selection for localizing faults (TDBL, DL, ML), pp. 501–505.

SCAM-2015-LudemannK #control flow #graph

From preprocessor-constrained parse graphs to preprocessor-constrained control flow (DL, RK), pp. 211–220.

ICML-2015-HockingRB #detection #learning #named #segmentation

PeakSeg: constrained optimal segmentation and supervised penalty learning for peak detection in count data (TH, GR, GB), pp. 324–332.

ICML-2015-LeeR #distributed #linear #optimisation #polynomial

Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.

KDD-2015-FeldmanT #approximate #big data #constraints #matrix

More Constraints, Smaller Coresets: Constrained Matrix Approximation of Sparse Big Data (DF, TT), pp. 249–258.

KDD-2015-ZhongJYYZL #recommendation

Stock Constrained Recommendation in Tmall (WZ, RJ, CY, XY, QZ, QL), pp. 2287–2296.

REFSQ-2015-DuanDCM #clustering #online #requirements

User-Constrained Clustering in Online Requirements Forums (CD, HD, JCH, BM), pp. 284–299.

HPDC-2015-PatkiLSMRSS #performance #resource management

Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.

ICLP-J-2015-AngelisFPP #correctness #horn clause #imperative #proving #source code

Proving correctness of imperative programs by linearizing constrained Horn clauses (EDA, FF, AP, MP), pp. 635–650.

CASE-2014-FeyzabadiC #markov #process #using

Risk-aware path planning using hirerachical constrained Markov Decision Processes (SF, SC), pp. 297–303.

DAC-2014-HollerDKSF #co-evolution #design #encryption #hardware

Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications (AH, ND, CK, CS, TF), p. 6.

DAC-2014-OderPG

Beyond ECDSA and RSA: Lattice-based Digital Signatures on Constrained Devices (TO, TP, TG), p. 6.

DATE-2014-ChenLLSHC #3d

Yield and timing constrained spare TSV assignment for three-dimensional integrated circuits (YGC, KYL, MCL, YS, WKH, SCC), pp. 1–4.

DATE-2014-DasKV #energy #multi #trade-off

Temperature aware energy-reliability trade-offs for mapping of throughput-constrained applications on multimedia MPSoCs (AD, AK, BV), pp. 1–6.

DATE-2014-ZhuGBS #data flow #graph #scheduling

Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.

STOC-2014-FriggstadS #algorithm #approximate #bound

Approximation algorithms for regret-bounded vehicle routing and applications to distance-constrained vehicle routing (ZF, CS), pp. 744–753.

FLOPS-2014-ClaessenDP #generative #random

Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.

ICALP-v1-2014-MakarychevP #scheduling

Precedence-Constrained Scheduling of Malleable Jobs with Preemption (KM, DP), pp. 823–834.

ICALP-v2-2014-ChalopinJMW #energy #mobile

Data Delivery by Energy-Constrained Mobile Agents on a Line (JC, RJ, MM, PW), pp. 423–434.

VISSOFT-2014-DanielWSSL #classification #dependence #named #visualisation

Polyptychon: A Hierarchically-Constrained Classified Dependencies Visualization (DTD, EW, KS, MS, PL), pp. 83–86.

CIKM-2014-HanWP #classification #using

Within-Network Classification Using Radius-Constrained Neighborhood Patterns (JH, JRW, JP), pp. 1539–1548.

CIKM-2014-YangSR #recommendation

Constrained Question Recommendation in MOOCs via Submodularity (DY, JS, CPR), pp. 1987–1990.

ECIR-2014-LvFC #evaluation #information retrieval

Evaluation of IR Applications with Constrained Real Estate (YL, AF, AKC), pp. 160–171.

ICML-c1-2014-LajugieBA #clustering #learning #metric #problem

Large-Margin Metric Learning for Constrained Partitioning Problems (RL, FRB, SA), pp. 297–305.

ICML-c1-2014-LanZS #monte carlo

Spherical Hamiltonian Monte Carlo for Constrained Target Distributions (SL, BZ, BS), pp. 629–637.

ICML-c2-2014-YuanLZ #optimisation

Gradient Hard Thresholding Pursuit for Sparsity-Constrained Optimization (XY, PL, TZ), pp. 127–135.

ICPR-2014-DornaikaBSR #classification #encoding #graph #locality

Locality Constrained Encoding Graph Construction and Application to Outdoor Object Classification (FD, AB, HS, YR), pp. 2483–2488.

ICPR-2014-HedjamCK #detection #documentation #energy #image #multi #self

Constrained Energy Maximization and Self-Referencing Method for Invisible Ink Detection from Multispectral Historical Document Images (RH, MC, MK), pp. 3026–3031.

ICPR-2014-KrytheL #analysis #linear

Implicitly Constrained Semi-supervised Linear Discriminant Analysis (JHK, ML), pp. 3762–3767.

ICPR-2014-LiHYGPJ #classification #re-engineering

Locality-Constrained Sparse Reconstruction for Trajectory Classification (CL, ZH, QY, SG, LP, JJ), pp. 2602–2606.

ICPR-2014-RahmaniMHM #classification #linear

Action Classification with Locality-Constrained Linear Coding (HR, AM, DQH, ASM), pp. 3511–3516.

ICPR-2014-ZamunerBB #adaptation

A Pose-Adaptive Constrained Local Model for Accurate Head Pose Tracking (LZ, KB, EB), pp. 2525–2530.

ICPR-2014-ZhangCQ #realtime

Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.

KDD-2014-ParkG #algorithm #health #named #rank #re-engineering

LUDIA: an aggregate-constrained low-rank reconstruction algorithm to leverage publicly released health data (YP, JG), pp. 55–64.

SEKE-2014-HirasakiKT #interactive #random testing #testing

Applying Random Testing to Constrained Interaction Testing (YH, HK, TT), pp. 193–198.

SAC-2014-SantosBAP #health #protocol

Integrating IEEE 11073 and constrained application protocol for personal health devices (DFSS, FB, HOA, AP), pp. 466–467.

HPDC-2014-MaratheHLSRS #effectiveness #execution

Exploiting redundancy for cost-effective, time-constrained execution of HPC applications on amazon EC2 (AM, RH, DKL, BRdS, BR, MS), pp. 279–290.

IJCAR-2014-HorbachS #axiom #locality #reachability

Locality Transfer: From Constrained Axiomatizations to Reachability Predicates (MH, VSS), pp. 192–207.

CASE-2013-GargPSCHAPG #3d #algorithm

An algorithm for computing customized 3D printed implants with curvature constrained channels for enhancing intracavitary brachytherapy radiation delivery (AG, SP, TS, JAMC, ICH, PA, JP, KG), pp. 466–473.

CASE-2013-QiaoWZ #clustering #scheduling #tool support

Scheduling of time constrained dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 868–873.

CASE-2013-SunSS #optimisation #scheduling

Integrated operating room scheduling optimization under particularly workload constrain of surgeon (BS, JS, LS), pp. 972–977.

DAC-2013-ChenWBA #random #reuse #simulation #verification

Simulation knowledge extraction and reuse in constrained random processor verification (WC, LCW, JB, MSA), p. 6.

DAC-2013-GrissomB #programmable

A field-programmable pin-constrained digital microfluidic biochip (DG, PB), p. 9.

DAC-2013-KinsmanKN #generative #sequence #validation

Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.

DAC-2013-ShafiqueRAH #fault #optimisation #reliability

Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.

DAC-2013-WuH #constraints #framework #multi #random #robust #set #theorem proving #verification

A robust constraint solving framework for multiple constraint sets in constrained random verification (BHW, CY(H), p. 7.

DATE-2013-ChenZ #design #optimisation

Resource-constrained high-level datapath optimization in ASIP design (YC, HZ), pp. 198–201.

DATE-2013-GoswamiMSXC #design #multi

Multirate controller design for resource- and schedule-constrained automotive ECUs (DG, AM, RS, CJX, SC), pp. 1123–1126.

SIGMOD-2013-ZhuZQ #approach #graph #mining #performance

A direct mining approach to efficient constrained graph pattern discovery (FZ, ZZ, QQ), pp. 821–832.

ESOP-2013-TakikawaST #contract

Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.

DLT-J-2012-CadilhacFM13 #ambiguity #automaton

Unambiguous constrained Automata (MC, AF, PM), pp. 1099–1116.

IFM-2013-GrafQ #distributed #implementation

Knowledge for the Distributed Implementation of Constrained Systems (SG, SQ), pp. 77–93.

ICFP-2013-SculthorpeBGG #problem

The constrained-monad problem (NS, JB, GG, AG), pp. 287–298.

CIKM-2013-LikhyaniB #estimation

Label constrained shortest path estimation (AL, SJB), pp. 1177–1180.

ICML-c1-2013-BuhlerRSH #clustering #community #detection #set #source code

Constrained fractional set programs and their application in local clustering and community detection (TB, SSR, SS, MH), pp. 624–632.

KDD-2013-DavidsonGCW #analysis #network

Network discovery via constrained tensor analysis of fMRI data (IND, SG, OTC, PBW), pp. 194–202.

KDD-2013-Mu0ZT #probability #problem #scalability

Constrained stochastic gradient descent for large-scale least squares problem (YM, WD, TZ, DT), pp. 883–891.

SIGIR-2013-GaoXX #query #random #using

Query expansion using path-constrained random walks (JG, GX, JX), pp. 563–572.

SAC-2013-AnconaBM #consistency #dynamic analysis #multi #protocol

Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.

SAC-2013-HuangMGM #multi #realtime #scalability

Throughput-constrained voltage and frequency scaling for real-time heterogeneous multiprocessors (PH, OM, KG, AMM), pp. 1517–1524.

ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.

ICTSS-2013-Ibing #eclipse #execution #parallel #symbolic computation

Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.

CASE-2012-CaiL #algorithm #hybrid #multi #problem #scheduling #search-based

A hybrid genetic algorithm for resource-constrained multi-project scheduling problem with resource transfer time (ZC, XL), pp. 569–574.

DAC-2012-GhasemiSSK #effectiveness #power management

Cost-effective power delivery to support per-core voltage domains for power-constrained processors (HRG, AAS, MJS, NSK), pp. 56–61.

DAC-2012-LuoC #design

Design of pin-constrained general-purpose digital microfluidic biochips (YL, KC), pp. 18–25.

SIGMOD-2012-BegleyHC #database #in memory #named

MCJoin: a memory-constrained join for column-store main-memory databases (SKB, ZH, YPPC), pp. 121–132.

FLOPS-2012-Morihata #algorithm #parallel #problem

Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.

DLT-2012-CadilhacFM #ambiguity #automaton

Unambiguous Constrained Automata (MC, AF, PM), pp. 239–250.

ICALP-v1-2012-EmekHR

Space-Constrained Interval Selection (YE, MMH, AR), pp. 302–313.

ICML-2012-JalaliS12a #clustering #optimisation #using

Clustering using Max-norm Constrained Optimization (AJ, NS), p. 205.

ICML-2012-LiLJX #clustering #re-engineering

Groupwise Constrained Reconstruction for Subspace Clustering (RL, BL, CJ, XX), p. 25.

ICPR-2012-ArpitSF #rank #recognition

Locality-constrained Low Rank Coding for face recognition (DA, GS, YF), pp. 1687–1690.

ICPR-2012-ChangDZDW #representation #sketching #synthesis #using

Smoothness-constrained face photo-sketch synthesis using sparse representation (LC, XD, MZ, FD, ZW), pp. 3025–3029.

ICPR-2012-HuangHHLJW #representation

Face hallucination via K-selection mean constrained sparse representation (KH, RH, ZH, TL, JJ, FW), pp. 882–885.

ICPR-2012-HuZFZ #clustering #multi #strict

Multi-way constrained spectral clustering by nonnegative restriction (HH, JZ, JF, JZ), pp. 1550–1553.

ICPR-2012-SanLH #detection

Constrained-MSER detection of retinal pathology (GLYS, MLL, WH), pp. 2059–2062.

ICPR-2012-SuDRH

Hypergraph matching based on Marginalized Constrained Compatibility (JS, LD, PR, ERH), pp. 2922–2925.

ICPR-2012-TaniguchiHISC #image #linear

Image super-resolution based on locality-constrained linear coding (KT, XHH, YI, SS, YWC), pp. 1948–1951.

ICPR-2012-ZarrouatiAR #robust

Robust depth regularization explicitly constrained by camera motion (NZ, EA, PR), pp. 3606–3609.

RecSys-2012-HuangXP #matrix

Constrained collective matrix factorization (YJH, EWX, RP), pp. 237–240.

OOPSLA-2012-TardieuNPS

Constrained kinds (OT, NN, IP, VAS), pp. 811–830.

LOPSTR-2012-AngelisFPP #model checking

Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.

SAC-2012-LeungS #constraints #mining

A new class of constraints for constrained frequent pattern mining (CKSL, LS), pp. 199–204.

LDTA-2012-LinckeS #concept #higher-order #object-oriented

From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages (DL, SS), p. 3.

DAC-2011-HuangSH #power management

Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips (TWH, HYS, TYH), pp. 741–746.

DATE-2011-ChenY #design

Timing-constrained I/O buffer placement for flip-chip designs (ZWC, JTY), pp. 619–624.

DATE-2011-KondratyevLMW #pipes and filters #synthesis

Realistic performance-constrained pipelining in high-level synthesis (AK, LL, MM, YW), pp. 1382–1387.

ICALP-v1-2011-CanzarEKM #on the

On Tree-Constrained Matchings and Generalizations (SC, KME, GWK, JM), pp. 98–109.

ICALP-v1-2011-QianW #algorithm #online #problem

An O(logn)-Competitive Algorithm for Online Constrained Forest Problems (JQ, DPW), pp. 37–48.

ICEIS-v4-2011-ShailaVPTVP #named #network

KCSR: Keymatches Constrained Secure Routing in Heterogeneous Wireless Sensor Networks (KS, GHV, CRP, VT, KRV, LMP), pp. 13–22.

CIKM-2011-WangYQSW #web

Harvesting facts from textual web sources by constrained label propagation (YW, BY, LQ, MS, GW), pp. 837–846.

ICML-2011-MartinsFASX #approach

An Augmented Lagrangian Approach to Constrained MAP Inference (AFTM, MATF, PMQA, NAS, EPX), pp. 169–176.

ICML-2011-NaganoKA

Size-constrained Submodular Minimization through Minimum Norm Base (KN, YK, KA), pp. 977–984.

ICML-2011-SmallWBT #learning

The Constrained Weight Space SVM: Learning with Ranked Features (KS, BCW, CEB, TAT), pp. 865–872.

KEOD-2011-Ylisaukko-ojaHKSV #interface #semantics

Semantic Interface for Resource Constrained Wireless Sensors (AYo, PH, JK, JPS, EV), pp. 505–511.

MLDM-2011-YokotaY #classification #estimation

Quadratically Constrained Maximum a Posteriori Estimation for Binary Classifier (TY, YY), pp. 1–15.

MoDELS-2011-FleureyMSB

MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.

MoDELS-2011-FleureyMSB

MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.

SAC-2011-Zhang #analysis #constraints #geometry #graph #problem

Well-constrained completion for under-constrained geometric constraint problem based on connectivity analysis of graph (GFZ), pp. 1094–1099.

ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling

Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.

PLEASE-2011-ChastekDM #analysis #variability

Commonality and variability analysis for resource constrained organizations (GJC, PD, JDM), pp. 31–34.

CASE-2010-WuZ #bound #clustering #petri net #process #scheduling #tool support

Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.

DAC-2010-LinC #design

Cross-contamination aware design methodology for pin-constrained digital microfluidic biochips (CCYL, YWC), pp. 641–646.

DATE-2010-BellasiBCFS #framework #mobile #multi #power management

Constrained Power Management: Application to a multimedia mobile platform (PB, SB, MC, WF, DS), pp. 989–992.

DATE-2010-ShafikAC #design #embedded #optimisation #power management

Soft error-aware design optimization of low power and time-constrained embedded systems (RAS, BMAH, KC), pp. 1462–1467.

DATE-2010-WiggersBGB #graph

Simultaneous budget and buffer size computation for throughput-constrained task graphs (MW, MB, MG, TB), pp. 1669–1672.

STOC-2010-BhattacharyaGGM

Budget constrained auctions with heterogeneous items (SB, GG, SG, KM), pp. 379–388.

STOC-2010-Svensson #precedence #scheduling

Conditional hardness of precedence constrained scheduling on identical machines (OS), pp. 745–754.

ICML-2010-DruckM #generative #learning #modelling #using

High-Performance Semi-Supervised Learning using Discriminatively Constrained Generative Models (GD, AM), pp. 319–326.

ICPR-2010-ChenXF

Optimized Entropy-constrained Vector Quantization of lossy Vector Map Compression (MC, MX, PF), pp. 722–725.

ICPR-2010-GassDN #energy #image #recognition

Constrained Energy Minimization for Matching-Based Image Recognition (TG, PD, HN), pp. 3304–3307.

ICPR-2010-Mattoccia #consistency

Accurate Dense Stereo by Constraining Local Consistency on Superpixels (SM), pp. 1832–1835.

ICPR-2010-XiongOL #algorithm #composition #recursion

A Recursive and Model-Constrained Region Splitting Algorithm for Cell Clump Decomposition (WX, SHO, JHL), pp. 4416–4419.

KDD-2010-AbeMPRJTBACKDG #learning #optimisation #using

Optimizing debt collections using constrained reinforcement learning (NA, PM, CP, CKR, DLJ, VPT, JJB, GFA, BRC, MK, MD, TG), pp. 75–84.

KDD-2010-LaoC #execution #modelling #performance #query #random #retrieval

Fast query execution for retrieval models based on path-constrained random walks (NL, WWC), pp. 881–888.

KDD-2010-WangD #clustering #flexibility

Flexible constrained spectral clustering (XW, ID), pp. 563–572.

SEKE-2010-SouzaPB #approach #optimisation #testing

A Constrained Particle Swarm Optimization Approach for Test Case Selection (LSdS, RBCP, FdAB), pp. 259–264.

GPCE-2010-NavasBP #component #embedded #evolution #framework #runtime

A component-based run-time evolution infrastructure for resource-constrained embedded systems (JFN, JPB, JP), pp. 73–82.

SAC-2010-AthanasiadisFNS #3d #geometry #optimisation

Feature-based 3D morphing based on geometrically constrained sphere mapping optimization (TA, IF, CN, VS), pp. 1258–1265.

SAC-2010-FlouvatSGRG #mining

Constrained colocation mining: application to soil erosion characterization (FF, NSF, DG, IR, CG), pp. 1054–1059.

SAC-2010-LarcherBM #embedded #recognition

Constrained Viterbi decoding for embedded user-customised password speaker recognition (AL, JFB, JSDM), pp. 1501–1502.

ICLP-J-2010-ChristiansenHLP #markov #modelling

Inference with constrained hidden Markov models in PRISM (HC, CTH, OTL, MP), pp. 449–464.

CASE-2009-KumarB #multi

Multi-agent model for threshold constrained portfolio selection (RK, SB), pp. 140–145.

CASE-2009-WuCCW #heuristic #problem

Heuristic for lane reservation problem in time constrained transportation (YW, CC, FC, NW), pp. 543–548.

DAC-2009-LeeK #manycore #optimisation #throughput #using

Optimizing throughput of power- and thermal-constrained multicore processors using DVFS and per-core power-gating (JL, NSK), pp. 47–50.

DATE-2009-PuschiniCBST #distributed #energy #latency

Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC (DP, FC, PB, GS, LT), pp. 1564–1567.

ICDAR-2009-HanifP #algorithm #detection #image #locality #using

Text Detection and Localization in Complex Scene Images using Constrained AdaBoost Algorithm (SMH, LP), pp. 1–5.

ICDAR-2009-WangH #classification #design #fault #modelling #parametricity #precise #using

Design Compact Recognizers of Handwritten Chinese Characters Using Precision Constrained Gaussian Models, Minimum Classification Error Training and Parameter Compression (YW, QH), pp. 36–40.

SIGAda-2009-LosebyCB #embedded

Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.

CIKM-2009-Collins-Thompson #optimisation #query #robust

Reducing the risk of query expansion via robust constrained optimization (KCT), pp. 837–846.

CIKM-2009-KarimzadehganZ #bibliography #multi

Constrained multi-aspect expertise matching for committee review assignment (MK, CZ), pp. 1697–1700.

CIKM-2009-QianNZ #multi #performance

Efficient multi-class unlabeled constrained semi-supervised SVM (MQ, FN, CZ), pp. 1665–1668.

KDD-2009-ChenCBT #learning #optimisation #random

Constrained optimization for validation-guided conditional random field learning (MC, YC, MRB, AET), pp. 189–198.

MLDM-2009-AbdalaJ #approach #clustering

An Evidence Accumulation Approach to Constrained Clustering Combination (DDA, XJ), pp. 361–371.

MLDM-2009-BenabdeslemS #approach #clustering #probability

A Probabilistic Approach for Constrained Clustering with Topological Map (KB, JS), pp. 413–426.

MoDELS-2009-CuccuruRGT #classification #parametricity #uml

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.

MoDELS-2009-CuccuruRGT #classification #parametricity #uml

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.

ECOOP-2009-SteimannT #java #refactoring #source code

From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility (FS, AT), pp. 419–443.

TOOLS-EUROPE-2009-BoronatM #algebra #metamodelling #ocl #semantics #specification

Algebraic Semantics of OCL-Constrained Metamodel Specifications (AB, JM), pp. 96–115.

SAC-2009-ChunLSC #multi #predict #using #video

An enhanced multi-view video compression using the constrained inter-view prediction (SC, SL, KS, KC), pp. 1811–1815.

SAC-2009-CorderoVB #clustering #framework

A new protein motif extraction framework based on constrained co-clustering (FC, AV, MB), pp. 776–781.

SAC-2009-KimYCH #embedded

Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.

TAP-2009-CalvagnaG #combinator #heuristic #interactive #satisfiability #testing

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing (AC, AG), pp. 27–42.

CASE-2008-NicholsM

Variational integrators for constrained cables (KN, TDM), pp. 802–807.

DAC-2008-XuC #multi

Broadcast electrode-addressing for pin-constrained multi-functional digital microfluidic biochips (TX, KC), pp. 173–178.

DATE-2008-HalakY #optimisation

Bandwidth-Centric Optimisation for Area-Constrained Links with Crosstalk Avoidance Methods (BH, AY), pp. 438–443.

DATE-2008-MuirAL #automation #pipes and filters #streaming

Automated Dynamic Throughput-constrained Structural-level Pipelining in Streaming Applications (MM, TA, IL), pp. 1358–1361.

DATE-2008-WiggersBS #communication #throughput

Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication (MW, MB, GJMS), pp. 640–645.

DATE-2008-YoshidaF

Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits (HY, MF), pp. 1099–1102.

SIGMOD-2008-UYMM #capacity #database

Capacity constrained assignment in spatial databases (LHU, MLY, KM, NM), pp. 15–28.

VLDB-2008-BrunoC #design #physics

Constrained physical design tuning (NB, SC), pp. 4–15.

VLDB-2008-ChengHV #clustering

Constrained locally weighted clustering (HC, KAH, KV), pp. 90–101.

ICSM-2008-HouZXS #testing

Quota-constrained test-case prioritization for regression testing of service-centric systems (SSH, LZ, TX, JS), pp. 257–266.

ICALP-A-2008-FialaGK #complexity #distance #problem

Computational Complexity of the Distance Constrained Labeling Problem for Trees (Extended Abstract) (JF, PAG, JK), pp. 294–305.

CSCW-2008-JonesMRB #chat #community #empirical #information management #interactive

Empirical evidence of information overload constraining chat channel community interactions (QJ, MM, DRR, BB), pp. 323–332.

CIKM-2008-DuanCM #approach #clustering #requirements

A consensus based approach to constrained clustering of software requirements (CD, JCH, BM), pp. 1073–1082.

CIKM-2008-XinLTL #comprehension #random #using

Academic conference homepage understanding using constrained hierarchical conditional random fields (XX, JL, JT, QL), pp. 1301–1310.

ICML-2008-UrtasunFGPDL #modelling

Topologically-constrained latent variable models (RU, DJF, AG, JP, TD, NDL), pp. 1080–1087.

ICPR-2008-RothausJ #clustering #distance #graph #novel

Constrained clustering by a novel graph-based distance transformation (KR, XJ), pp. 1–4.

ICPR-2008-ZhangW #clustering #order #ranking

Partial closure-based constrained clustering with order ranking (SZ, HSW), pp. 1–4.

KDD-2008-MadaniH #learning #on the

On updates that constrain the features’ connections during learning (OM, JH), pp. 515–523.

OOPSLA-2008-NystromSPG #object-oriented

Constrained types for object-oriented languages (NN, VAS, JP, CG), pp. 457–474.

LCTES-2008-BadeaNV #embedded #energy #virtual machine

Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.

CAV-2008-KimJRSPKS #analysis #random #simulation

Application of Formal Word-Level Analysis to Constrained Random Simulation (HK, HJ, KR, PS, JP, RPK, FS), pp. 487–490.

ICST-2008-LindstromOA #empirical #execution #realtime #testing

Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (BL, AJO, SFA), pp. 112–120.

IJCAR-2008-BouhoulaJ #automation #automaton #induction

Automated Induction with Constrained Tree Automata (AB, FJ), pp. 539–554.

CASE-2007-ChakrabortyAW #multi #set

Coverage of a Planar Point Set with Multiple Constrained Robots (NC, SA, JTW), pp. 899–904.

CASE-2007-LiZL #multi

Semiconductor system with multiple closed-loops constrains (NL, LZ, QLL), pp. 484–488.

DAC-2007-StuijkBGC #data flow #graph #multi #resource management

Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.

DAC-2007-TsaiZT #design #layout #modelling

Modeling Litho-Constrained Design Layout (MCT, DZ, ZT), pp. 354–357.

DATE-2007-Scholzel #clustering #interactive

Interactive presentation: Time-constrained clustering for DSE of clustered VLIW-ASP (MS), pp. 467–472.

DATE-2007-XuC #array

A cross-referencing-based droplet manipulation method for high-throughput and pin-constrained digital microfluidic arrays (TX, KC), pp. 552–557.

DRR-2007-VeeramachaneniN #interactive

Interaction for style-constrained OCR (SV, GN).

ICDAR-2007-LiuJ #optimisation

Character Stroke Extraction Based on B-spline Curve Matching by Constrained Alternating Optimization (XL, YJ), pp. 13–17.

VLDB-2007-HuSS #query #sql

Supporting Time-Constrained SQL Queries in Oracle (YH, SS, JS), pp. 1207–1218.

CSEET-2007-Padua #development #modelling #using

Using Model-Driven Development in Time-Constrained Course Projects (WP), pp. 133–140.

STOC-2007-DonovanSVW #network

Degree-constrained network flows (PD, FBS, AV, GTW), pp. 681–688.

CIAA-J-2006-NicartCCGK07 #automaton #multi

Labelling Multi-Tape Automata with Constrained Symbol Classes (FN, JMC, TC, TG, AK), pp. 847–858.

CIAA-2007-IliopoulosRVV #problem #sequence #string

The Constrained Longest Common Subsequence Problem for Degenerate Strings (CSI, MSR, MV, LV), pp. 309–311.

KDD-2007-DavidsonRE #clustering #incremental #performance

Efficient incremental constrained clustering (ID, SSR, ME), pp. 240–249.

KDD-2007-PanZZPSPY #mining #modelling #network

Domain-constrained semi-supervised mining of tracking models in sensor networks (RP, JZ, VWZ, JJP, DS, SJP, QY), pp. 1023–1027.

KDD-2007-YeJC #analysis #kernel #learning #matrix #polynomial #programming

Learning the kernel matrix in discriminant analysis via quadratically constrained quadratic programming (JY, SJ, JC), pp. 854–863.

ECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml

Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.

GPCE-2007-Selic #challenge #generative #implementation

Challenges in generating qos-constrained software implementations (BS), pp. 83–84.

SAC-2007-KolesnikovA

Distortion-constrained compression of vector maps (AK, AA), pp. 8–12.

SAC-2007-ThierryMS #constraints #geometry #towards

Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints (SEBT, PM, PS), pp. 773–777.

SAC-2007-WanZM

An OLAP system for network-constrained moving objects (TW, KZ, XM), pp. 13–18.

ISSTA-2007-EnglerD #automation #execution #scalability

Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.

ASE-2006-PaarT #data type #owl #programming language #xml

Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL (AP, WFT), pp. 281–284.

DAC-2006-HuAHKLSS #algorithm #performance

Fast algorithms for slew constrained minimum cost buffering (SH, CJA, JH, SKK, ZL, WS, CCNS), pp. 308–313.

DAC-2006-HwangSC #array #automation #design

Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications* (WLH, FS, KC), pp. 925–930.

DAC-2006-WuWL

Timing-constrained and voltage-island-aware voltage assignment (HW, MDFW, IML), pp. 429–432.

DATE-2006-HePE #clustering #scheduling #testing

Power constrained and defect-probability driven SoC test scheduling with test set partitioning (ZH, ZP, PE), pp. 291–296.

DATE-2006-YonedaMF #multi #scheduling

Power-constrained test scheduling for multi-clock domain SoCs (TY, KM, HF), pp. 297–302.

SIGMOD-2006-ZhangHCWLC #database #optimisation #query #ranking

Boolean + ranking: querying a database by k-constrained optimization (ZZ, SwH, KCCC, MW, CAL, YCC), pp. 359–370.

PLDI-2006-JarviGWLS #algorithm #c++ #challenge #programming

Algorithm specialization in generic programming: challenges of constrained generics in C++ (JJ, DG, JW, AL, JGS), pp. 272–282.

ICEIS-DISI-2006-StojanovicDPN #mobile #network #query

Continuous Range Query Processing for Network Constrained Mobile Objects (DS, SDK, ANP, AN), pp. 63–70.

CIKM-2006-DellisVVST

Constrained subspace skyline computation (ED, AV, IV, BS, YT), pp. 415–424.

CIKM-2006-HungC #multi #performance #similarity

Efficient range-constrained similarity search on wavelet synopses over multiple streams (HPH, MSC), pp. 327–336.

ICPR-v1-2006-TongSS #estimation

Continuous-Discrete Filtering for Cardiac Kinematics Estimation under Spatio-Temporal Biomechanical Constrains (ST, AJS, PS), pp. 167–170.

ICPR-v2-2006-LiA #estimation #predict

Texture-Constrained Shape Prediction for Mouth Contour Extraction and its State Estimation (ZL, HA), pp. 88–91.

ICPR-v3-2006-ShenLCF #video

Video Completion for Perspective Camera Under Constrained Motion (YS, FL, XC, HF), pp. 63–66.

ICPR-v4-2006-YodaTRSI #gesture #interface

Stereo Camera Based Non-Contact Non-Constraining Head Gesture Interface for Electric Wheelchairs (IY, JT, BR, KS, TI), pp. 740–745.

KDD-2006-YanB #classification #optimisation #ranking

Beyond classification and ranking: constrained optimization of the ROI (LY, PB), pp. 948–953.

KR-2006-Coste-MarquisDM #framework

Constrained Argumentation Frameworks (SCM, CD, PM), pp. 112–122.

SIGIR-2006-YangC #clustering #detection

Near-duplicate detection by instance-level constrained clustering (HY, JPC), pp. 421–428.

GPCE-2006-BromanNF #constraints #equation #using

Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.

PADL-2006-QuesadaRDC #problem #using

Using Dominators for Solving Constrained Path Problems (LQ, PVR, YD, RC), pp. 73–87.

ICSE-2006-Filho #process

A software process for time-constrained course projects (WPPF), pp. 707–710.

PPoPP-2006-SpringerLRF #clustering #energy #execution #source code

Minimizing execution time in MPI programs on an energy-constrained, power-scalable cluster (RS, DKL, BR, VWF), pp. 230–238.

ASE-2005-KapfhammerSM #execution #testing

Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.

DAC-2005-ChenK #embedded #java #reliability #virtual machine

Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.

DAC-2005-TomL #clustering #design #logic #scalability

Logic block clustering of large designs for channel-width constrained FPGAs (MT, GGL), pp. 726–731.

DATE-2005-IzosimovPEP #design #distributed #embedded #fault tolerance #optimisation

Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems (VI, PP, PE, ZP), pp. 864–869.

DATE-2005-KandemirLCCO #embedded #in memory #trade-off

Studying Storage-Recomputation Tradeoffs in Memory-Constrained Embedded Processing (MTK, FL, GC, GC, ÖÖ), pp. 1026–1031.

DATE-2005-OzturkSKK #embedded

Access Pattern-Based Code Compression for Memory-Constrained Embedded Systems (ÖÖ, HS, MTK, IK), pp. 882–887.

DATE-2005-WehmeyerM #embedded #memory management #predict

nfluence of Memory Hierarchies on Predictability for Time Constrained Embedded Software (LW, PM), pp. 600–605.

DocEng-2005-LoureiroA #adaptation #documentation #pretty-printing

Constrained XSL formatting objects for adaptive documents (GL, FA), pp. 95–97.

SIGMOD-2005-KoutrikaI #personalisation #query

Constrained Optimalities in Query Personalization (GK, YEI), pp. 73–84.

PLDI-2005-NiKSI #ad hoc #mobile #network #programming

Programming ad-hoc networks of mobile and resource-constrained devices (YN, UK, AS, LI), pp. 249–260.

ICALP-2005-FialaGK #bound #distance #graph

Distance Constrained Labelings of Graphs of Bounded Treewidth (JF, PAG, JK), pp. 360–372.

CHI-2005-GongT #design #mobile

Alphabetically constrained keypad designs for text entry on mobile devices (JG, PT), pp. 211–220.

RE-2005-BoydZF #empirical #natural language

Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study (SB, DZ, AF), pp. 339–352.

SAC-2005-BaresiCM #adaptation #case study #consistency #experience #modelling

First experiences on constraining consistency and adaptivity of W2000 models (LB, SC, LM), pp. 1674–1678.

SAC-2005-OuajaR #composition #hybrid

Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition (WO, BR), pp. 383–387.

SAC-2005-RahalRPNPRV #biology #incremental #interactive #mining

Incremental interactive mining of constrained association rules from biological annotation data with nominal features (IR, DR, AP, HN, WP, RR, WVG), pp. 123–127.

SAT-2005-ArgelichM #problem #satisfiability

Solving Over-Constrained Problems with SAT Technology (JA, FM), pp. 1–15.

TestCom-2005-LadaniAC #approach #invariant #testing

Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.

DATE-v1-2004-AndreiSEPA #energy #reduction

Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems (AA, MTS, PE, ZP, BMAH), pp. 518–525.

DATE-v1-2004-BonhommeGGLPV #design #power management

Design of Routing-Constrained Low Power Scan Chains (YB, PG, LG, CL, SP, AV), pp. 62–67.

DATE-v2-2004-MuraliM #architecture

Bandwidth-Constrained Mapping of Cores onto NoC Architectures (SM, GDM), pp. 896–903.

CIAA-2004-PengT #algorithm #performance #sequence

Time and Space Efficient Algorithms for Constrained Sequence Alignment (ZSP, HFT), pp. 237–246.

ICALP-2004-HeeringaA #design #problem

Optimal Website Design with the Constrained Subtree Selection Problem (BH, MA), pp. 757–769.

ICEIS-v2-2004-HuysmansMVB #mining #web

Web Usage Mining with Time Constrained Association Rules (JH, CM, JV, BB), pp. 343–348.

ICPR-v1-2004-ZhangJT

Geodesic Closest Point Constrained Inter-Subject Non-Rigid Registration (ZZ, YJ, HTT), pp. 564–567.

ICPR-v3-2004-WongMC #3d #re-engineering

3D Model Reconstruction by Constrained Bundle Adjustment (KhW, MMYC), pp. 902–905.

ICPR-v4-2004-NockN #algorithm #clustering #optimisation

Improving Clustering Algorithms through Constrained Convex Optimization (RN, FN), pp. 557–560.

OOPSLA-2004-SachindranMB #garbage collection #named

MC²: high-performance garbage collection for memory-constrained environments (NS, JEBM, EDB), pp. 81–98.

SAC-2004-OrlandoPS #algorithm #mining #sequence

A new algorithm for gap constrained sequence mining (SO, RP, CS), pp. 540–547.

ICSE-2004-OReilly #approach #coordination

A Weakly Constrained Approach to Software Change Coordination (CO), pp. 66–68.

LCTES-2004-SaputraCBVKI #embedded

Code protection for resource-constrained embedded devices (HS, GC, RRB, NV, MTK, MJI), pp. 240–248.

LCTES-2004-ZhangK #adaptation

Adaptive code unloading for resource-constrained JVMs (LZ, CK), pp. 155–164.

DATE-2003-LuK

Interconnect Planning with Local Area Constrained Retiming (RL, CKK), pp. 10442–10447.

DATE-2003-NielsenM #synthesis

Power Constrained High-Level Synthesis of Battery Powered Digital Systems (SFN, JM), pp. 11136–11137.

ICDAR-2003-NakagawaO #online #recognition

On-line Handwritten Japanese Text Recognition free from Constrains on Line Direction and Character Orientation (MN, MO), pp. 519–523.

VLDB-2003-AnciauxBP #execution #memory management #query #requirements

Memory Requirements for Query Execution in Highly Constrained Devices (NA, LB, PP), pp. 694–705.

SAS-2003-UnnikrishnanCKKK #requirements

Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.

OOPSLA-2003-ChenKVIMW #java

Heap compression for memory-constrained Java environments (GC, MTK, NV, MJI, BM, MW), pp. 282–301.

ICSE-2003-ReissKWK #evolution #named

CLIME: An Environment for Constrained Evolution Demonstration Description (SPR, CMK, TW, SK), pp. 818–819.

DATE-2002-CoelhoSP #algorithm #approximate #using

Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation (CPC, LMS, JRP), pp. 923–930.

DATE-2002-JungKK #logic #performance #synthesis

Dual Threshold Voltage Domino Logic Synthesis for High Performance with Noise and Power Constrain (SOJ, KWK, SMK), pp. 260–265.

TACAS-2002-BasuKPR #model checking #recursion #source code

Resource-Constrained Model Checking of Recursive Programs (SB, KNK, LRP, CRR), pp. 236–250.

ICSM-2002-Reiss #evolution

Constraining Software Evolution (SPR), pp. 162–171.

ICPR-v1-2002-TsutsumiK

Motion Tracking of Cattle with a Constrained Deformable Model (DT, YK), pp. 372–376.

ICPR-v1-2002-ZucchelliSC #estimation

Constrained Structure and Motion Estimation from Optical Flow (MZ, JSV, HIC), pp. 339–342.

KDD-2002-Olecka #classification #performance

Evaluating classifiers’ performance in a constrained environment (AO), pp. 605–612.

PADL-2002-JayaramanT #modelling

Modeling Engineering Structures with Constrained Objects (BJ, PT), pp. 28–46.

ICSE-2002-KimP #testing

A history-based test prioritization technique for regression testing in resource constrained environments (JMK, AAP), pp. 119–129.

ICSE-2002-WeinsbergB #programming

A programming model and system for disconnected-aware applications on resource-constrained devices (YW, IBS), pp. 374–384.

DATE-2001-ChangHM #functional #optimisation #symmetry #using

In-place delay constrained power optimization using functional symmetries (CWJC, BH, MMS), pp. 377–382.

VLDB-2001-DongHLPW #mining #multi

Mining Multi-Dimensional Constrained Gradients in Data Cubes (GD, JH, JMWL, JP, KW), pp. 321–330.

FASE-2001-ReusWH #calculus #design #hoare #java #modelling #ocl #verification

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.

STOC-2001-MossR #algorithm #approximate #problem

Approximation algorithms for constrained for constrained node weighted steiner tree problems (AM, YR), pp. 373–382.

SVIS-2001-Tal #algorithm #animation

Algorithm Animation Systems for Constrained Domains (AT), pp. 101–112.

CIKM-2001-MazumdarPC #mobile

Caching Constrained Mobile Data (SM, MP, PKC), pp. 442–449.

ICML-2001-PerkinsB #learning #set

Lyapunov-Constrained Action Sets for Reinforcement Learning (TJP, AGB), pp. 409–416.

ICML-2001-WagstaffCRS #clustering

Constrained K-means Clustering with Background Knowledge (KW, CC, SR, SS), pp. 577–584.

CSL-2001-Eijck

Constrained Hyper Tableaux (JvE), pp. 232–246.

SAT-2001-AmirM #composition #problem #satisfiability #using

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) (EA, SM), pp. 329–343.

DATE-2000-GovindarajanV #quality #scheduling

Improving the Schedule Quality of Static-List Time-Constrained Scheduling (SG, RV), p. 749.

ESOP-2000-SmithW #analysis

Polyvariant Flow Analysis with Constrained Types (SFS, TW), pp. 382–396.

ICPR-v1-2000-Abrantes #algorithm #analysis #clustering #multi

A Constrained Clustering Algorithm for Shape Analysis with Multiple Features (AJA), pp. 1912–1919.

ICPR-v2-2000-SarkarN #classification

Classification of Style-Constrained Pattern-Fields (PS, GN), pp. 2855–2858.

ICPR-v2-2000-ZwartK #modelling

Constrained Mixture Modeling of Intrinsically Low-Dimensional Distributions (JPZ, BJAK), pp. 2610–2613.

SAC-2000-RaidlJ #algorithm #problem #search-based

A Weighted Coding in a Genetic Algorithm for the Degree-Constrained Minimum Spanning Tree Problem (GRR, BAJ), pp. 440–445.

DAC-1999-HaynalB #component #scheduling

A Model for Scheduling Protocol-Constrained Components and Environments (SH, FB), pp. 292–295.

DAC-1999-JiangJC #optimisation #performance

Noise-Constrained Performance Optimization by Simultaneous Gate and Wire Sizing Based on Lagrangian Relaxation (IHRJ, JYJ, YWC), pp. 90–95.

DAC-1999-TanSLLY #linear #network #optimisation #sequence

Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings (XDT, CJRS, DL, JCL, LPY), pp. 78–83.

DATE-1999-JaschkeLB #resource management #scheduling

Time Constrained Modulo Scheduling with Global Resource Sharing (CJ, RL, FB), pp. 210–216.

DATE-1999-MartinezAQH #algorithm #encoding #using

An Algorithm for Face-Constrained Encoding of Symbols Using Minimum Code Length (MM, MJA, JMQ, JLH), pp. 521–525.

SIGMOD-1999-LakshmananNHP #constraints #optimisation #query #set

Optimization of Constrained Frequent Set Queries with 2-variable Constraints (LVSL, RTN, JH, AP), pp. 157–168.

SIGMOD-1999-NgLHM #mining #query #set

Exploratory Mining via Constrained Frequent Set Queries (RTN, LVSL, JH, TM), pp. 556–558.

TOOLS-ASIA-1999-CrespoRM #automation

Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity (YC, JJR, JMMC), pp. 166–176.

SAC-1999-SantosD #energy

Constrained GA Applied to Production and Energy Management of a Pulp and Paper Mill (AS, AD), pp. 324–332.

DATE-1998-BasuLM #source code

Register-Constrained Address Computation in DSP Programs (AB, RL, PM), pp. 929–930.

DATE-1998-Coudert #encoding #paradigm

A New Paradigm for Dichotomy-based Constrained Encoding (OC), pp. 830–834.

SIGMOD-1998-NgLHP #mining #optimisation

Exploratory Mining and Pruning Optimizations of Constrained Association Rules (RTN, LVSL, JH, AP), pp. 13–24.

ICPR-1998-AdigaC #image #segmentation #using

Segmentation of volumetric histo-pathological images by surface following using constrained snakes (PSUA, BBC), pp. 1674–1676.

ICPR-1998-Kraaijveld #classification #comparison #parametricity

An experimental comparison of nonparametric classifiers for time-constrained classification tasks (MAK), pp. 428–435.

ICALP-1997-KaklamanisPEJ

Constrained Bipartite Edge Coloring with Applications to Wavelength Routing (CK, PP, TE, KJ), pp. 493–504.

LOPSTR-1997-SaglamG #approximate #logic programming #source code

Constrained Regular Approximation of Logic Programs (HS, JPG), pp. 282–299.

SAC-1997-Lee

Constructing the constrained Delaunay triangulation on the Intel paragon (FL), pp. 464–467.

ICLP-1997-YouWY #logic programming

Disjunctive Logic Programming as Constrained Inferences (JHY, XW, LYY), pp. 361–375.

DAC-1996-HassounE #architecture #pipes and filters

Architectural Retiming: Pipelining Latency-Constrained Circuts (SH, CE), pp. 708–713.

DAC-1996-MarculescuMP #generative #probability #sequence #synthesis

Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.

PODS-1996-MaherS #dependence

Chasing Constrained Tuple-Generating Dependencies (MJM, DS), pp. 128–138.

SAS-1996-TrifonovS #type system

Subtyping Constrained Types (VT, SFS), pp. 349–365.

CIKM-1996-LeeO #automation #distributed #query

Distributed Processing of Time-Constrained Queries in CASE-DB (SL, GÖ), pp. 279–287.

ICPR-1996-ChenNANT #algorithm #image #re-engineering #search-based

Reconstruction of neutron penumbral images by a constrained genetic algorithm (YWC, ZN, KA, IN, ST), pp. 525–529.

ICPR-1996-HuB #online #recognition

On-line handwriting recognition with constrained N-best decoding (JH, MKB), pp. 23–27.

ICPR-1996-Reisfeld #detection

Constrained phase congruency: simultaneous detection of interest points and of their orientational scales (DR), pp. 750–754.

ICPR-1996-Syeda-Mahmood #similarity

Recognizing similarity through a constrained non-rigid transform (TFSM), pp. 617–621.

ICPR-1996-YeungY #clustering #segmentation #video

Time-constrained clustering for segmentation of video into story units (MMY, BLY), pp. 375–380.

DAC-1995-FrankRS #architecture

Constrained Register Allocation in Bus Architectures (EF, SR, MS), pp. 170–175.

STOC-1995-AgarwalRT

Motion planning for a steering-constrained robot through moderate obstacles (PKA, PR, HT), pp. 343–352.

CHI-1995-BauerJ #interactive #learning #modelling

Modeling Time-Constrained Learning in a Highly Interactive Task (MIB, BEJ), pp. 19–26.

OOPSLA-1995-DayGLM #morphism #parametricity #polymorphism #type system

Subtypes vs. Where Clauses: Constraining Parametric Polymorphism (MD, RG, BL, ACM), pp. 156–168.

ESOP-1994-MuckS #continuation #functional #logic #semantics

A Tiny Constrain Functional Logic Language and Its Continuation Semantics (AM, TS), pp. 439–453.

CADE-1994-SlaneyLM #named #semantics

SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.

DAC-1993-DharchoudhuryK #variability #worst-case

Performance-Constrained Worst-Case Variability Minimization of VLSI Circuits (AD, SMK), pp. 154–158.

ICDAR-1993-LamH #markov #modelling #using

Reading constrained text using hierarchical hidden Markov models (SWL, WKH), pp. 151–154.

ICDAR-1993-SeniorF #using

Using constrained snakes for feature spotting in off-line cursive script (AWS, FF), pp. 305–310.

ICML-1993-KimR #learning

Constraining Learning with Search Control (JK, PSR), pp. 174–181.

RTA-1993-LynchS

Redundancy Criteria for Constrained Completion (CL, WS), pp. 2–16.

RTA-1993-NivelaN #first-order

Saturation of First-Order (Constrained) Clauses with the Saturate System (PN, RN), pp. 436–440.

DAC-1992-GeurtsCM #throughput

Time Constrained Allocation and Assignment Techniques for High Throughput Signal Processing (WG, FC, HDM), pp. 124–127.

CADE-1992-NieuwenhuisR #proving #theorem proving

Theorem Proving with Ordering Constrained Clauses (RN, AR), pp. 477–491.

CAV-1992-BalarinS #verification

A Verification Strategy for Timing-Constrained Systems (FB, ALSV), pp. 151–163.

DAC-1991-FangCFC #multi #problem

Constrained via Minimization with Practical Considerations for Multi-Layer VLSI/PCB Routing Problems (SCF, KEC, WSF, SJC), pp. 60–65.

DAC-1991-GebotysE #architecture #scheduling #synthesis

Simultaneous Scheduling and Allocation for Cost Constrained Optimal Architectural Synthesis (CHG, MIE), pp. 2–7.

ML-1991-PageF #learning

Learning Constrained Atoms (CDPJ, AMF), pp. 427–431.

ML-1991-SilversteinP #induction #learning #relational

Relational Clichés: Constraining Induction During Relational Learning (GS, MJP), pp. 203–207.

TAV-1991-AvruninBCDW #tool support

Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.

PODS-1990-AgrawalA

Locks with Constrained Sharing (DA, AEA), pp. 85–93.

DAC-1989-PrasitjutrakulK #approach #programming

Path-Delay Constrained Floorplanning: A Mathematical Programming Approach for Initial Placement (SP, WJK), pp. 364–369.

DAC-1989-WeninVCLG #layout #rule-based #verification

Rule-based VLSI Verification System Constrained by Layout Parasitics (JW, JV, MVC, JL, PG), pp. 662–667.

KR-1989-Leishman #concept #graph

Analogy as a Constrained Partial Correspondence Over Conceptual Graphs (DL), pp. 223–234.

ML-1989-Haines #learning

Explanation Based Learning as Constrained Search (DH), pp. 43–45.

DAC-1988-XiongK #design #problem

The Constrained Via Minimization Problem for PCB and VLSI Design (XMX, ESK), pp. 573–578.

STOC-1988-FortuneW

Planning Constrained Motion (SF, GTW), pp. 445–459.

SIGMOD-1987-CroftS #architecture #documentation

Supporting Offics Document Architectures with Constrained Types (WBC, DWS), pp. 504–509.

POPL-1985-FriedmanH

Constraining Control (DPF, CTH), pp. 245–254.

POPL-1984-Bandes #programming language

Constraining-Unification and the Programming Language Unicorn (RGB), pp. 106–110.

DAC-1983-MicheliS #array #logic #multi #named #programmable

PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays (GDM, ALSV), pp. 530–537.

STOC-1983-Gabow #network #performance #problem #reduction

An Efficient Reduction Technique for Degree-Constrained Subgraph and Bidirected Network Flow Problems (HNG), pp. 448–456.

STOC-1981-MonienS #problem

Bandwidth Constrained NP-Complete Problems (BM, IHS), pp. 207–217.

DAC-1973-DoonerVL #design #interactive #process

An interactive graphic and process controlled system for composing and sampling loom constrained designs (NPD, PV, JRL), pp. 247–252.

DAC-1971-WeinzapfelJP #image #interactive #multi #named #synthesis

IMAGE: An interactive computer system for multi-constrained spatial synthesis (GW, TEJ, JP), pp. 101–108.

DAC-1969-Chace #multi #representation

A network-variational basis for generalized computer representation of multifreedom, constrained, mechanical systems (MAC), pp. 169–178.