## 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
^{2}: 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.