|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29296 occurrences of 9260 keywords
|
|
|
Results
Found 56690 publication records. Showing 56690 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh |
Reformulating Global Constraints: The Slideand RegularConstraints. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hiroshi Wada, Junichi Suzuki, Katsuya Oba |
A Feature Modeling Support for Non-Functional Constraints in Service Oriented Architecture. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tze-Lei Poo, Brian H. Marcus |
Time-Varying Maximum Transition Run Constraints. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Anders Heyden |
Differential-Algebraic Multiview Constraints. |
ICPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Yuancan Huang |
Improved Lagrange Nonlinear Programming Neural Networks for Inequality Constraints. |
ISDA (1) |
2006 |
DBLP DOI BibTeX RDF |
Lagrange Neural Network, Stability, Convergence, Nonlinear Programming |
16 | Xueping Zhang, Jiayao Wang, Fang Wu, Zhongshan Fan, Xiaoqing Li |
A Novel Spatial Clustering with Obstacles Constraints Based on Genetic Algorithms and K-Medoids. |
ISDA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Carsten Gutwenger, Karsten Klein 0001, Petra Mutzel |
Planarity Testing and Optimal Edge Insertion with Embedding Constraints. |
GD |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Yingxu Wang 0001 |
On Constraints and Count-Measures for Software Engineering. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Girish Chafle, Sunil Chandra, Vijay Mann, Mangala Gowri Nanda |
Orchestrating Composite Web Services under Data Flow Constraints. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Bassem Sayrafi, Dirk Van Gucht |
Differential constraints. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Hari Mony, Jason Baumgartner, Adnan Aziz |
Exploiting Constraints in Transformation-Based Verification. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos |
Indexes and Path Constraints in Semistructured Data. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Heimrich |
Modeling of Output Constraints in Multimedia Database Systems. |
MMM |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Kaijun Tan, Jason Crampton, Carl A. Gunter |
The Consistency of Task-Based Authorization Constraints in Workflow Systems. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Abdullah Uz Tansel |
Temporal Data Modeling and Integrity Constraints in Relational Databases. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Malek Mouhoub, Amrudee Sukpan |
Solving Conditional and Composite Temporal Constraints. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Meng-Chen Wu, Yao-Wen Chang |
Placement with Alignment and Performance Constraints Using the B*-Tree Representation. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Shiping Chen 0003, Duminda Wijesekera, Sushil Jajodia |
Incorporating Dynamic Constraints in the Flexible Authorization Framework. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sujit Kuthirummal, C. V. Jawahar, P. J. Narayanan |
Constraints on Coplanar Moving Points. |
ECCV (4) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Johan Bengtsson, Wang Yi 0001 |
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Antoni Olivé |
Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana |
Monitoring of Timing Constraints with Confidence Threshold Requirements. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Mahesh A. Iyer |
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jochen Hipp, Ulrich Güntzer |
Is pushing constraints deeply into the mining algorithms really what we want?: an alternative approach for association rule mining. |
SIGKDD Explor. |
2002 |
DBLP DOI BibTeX RDF |
KDD process, constrained mining, association rules |
16 | Jamie Shield, Ian J. Hayes |
Refining Object-Oriented Invariants and Dynamic Constraints. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
history properties, Object-orientation, invariants, refinement calculus |
16 | Andrei A. Krokhin, Peter Jeavons 0001, Peter Jonsson |
The Complexity of Constraints on Intervals and Lengths. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Zhendong Su 0001, Alexander Aiken |
Entailment with Conditional Equality Constraints. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Gershon Elber |
Multiresolution curve editing with linear constraints. |
Symposium on Solid Modeling and Applications |
2001 |
DBLP DOI BibTeX RDF |
CAD, wavelets, geometric modeling, curves & surfaces |
16 | James R. Anderson 0001, Seth Abraham |
Performance-Based Constraints for Multidimensional Networks. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
multidimensional network, $k$-ary $n$-cube, direct-connected, queue waiting time, unity queue waiting time, performance analysis, Interconnection networks, message latency, maximum throughput |
16 | Kit-Ying Hui, Peter M. D. Gray |
Developing Finite Domain Constraints - A Data Model Approach. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Alain Colmerauer, Thi-Bich-Hanh Dao |
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ilié Popescu |
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems. |
ADVIS |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang |
Slicing floorplans with boundary constraints. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Mateusz Pietrzyk, Subhasish Mazumdar, Robert Cline |
Dynamic Adjustment of Localized Constraints. |
DEXA |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jun Yuan 0007, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz |
Modeling design constraints and biasing in simulation using BDDs. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Léa Meyer |
Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints. |
ALT |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Marco Baioletti, Stefano Marcugini, Alfredo Milani |
An Extension of SATPLAN for Planning with Constraints. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Aloysius K. Mok, Guangtian Liu |
Efficient Run-Time Monitoring of Timing Constraints. |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Itsik Pe'er, Ron Shamir |
Interval Graphs with Side (and Size) Constraints. |
ESA |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli |
Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Naci Ishakbeyoglu, Z. Meral Özsoyoglu |
On the Maintenance of Implication Integrity Constraints. |
DEXA |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Svend Frølund |
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Louis Lassez |
Parametric queries, linear constraints and variable elimination. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Ronen Barzel, Alan H. Barr |
A modeling system based on dynamic constraints. |
SIGGRAPH |
1988 |
DBLP DOI BibTeX RDF |
contraints, simulation, modeling, dynamics |
16 | Michael J. Maher |
SOGgy Constraints: Soft Open Global Constraints. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
Among, Common and Disjoint Constraints. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yunfeng Liu, Dongqing Yang, Shiwei Tang, Tengjiao Wang 0003, Jun Gao 0003 |
Extracting Key Value and Checking Structural Constraints for Validating XML Key Constraints. |
WAIM |
2004 |
DBLP DOI BibTeX RDF |
|
16 | James Gibbons |
Abstracting Constraints Using Constraints. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Bistarelli, Francesca Rossi 0001, Isabella Pilan |
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kristen B. Venable |
Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Pierre Jouannaud, Ralf Treinen |
Constraints and Constraint Solving: An Introduction. |
CCL |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Xiulei Qin, Jun Wei 0001, Wenbo Zhang 0006, Hua Zhong 0001, Tao Huang 0001 |
A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
subscription subsumption, subscription subsumption graph(SSG), non-numeric constraints, publish/subscribe, numeric constraints |
16 | Stephen A. Vavasis |
Complexity Theory: Quadratic Programming. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Trust region problem, Strongly polynomial time, Simplicial constraints, Box constraints, Ellipsoid method, Approximation algorithms, Complexity, NP-complete, NP-hard, Quadratic programming, Polynomial time, Knapsack problem, Interior point methods, Local minimization |
16 | Balakannan S. P, Yier Yan, Jae Seung Yang, Moon Ho Lee |
End-to-End Network Delay-Constrained for QoS Multicast Routing. |
NetCoM |
2009 |
DBLP DOI BibTeX RDF |
End-to-End QoS Constraints, QoS, Multicast Routing, Delay Constraints |
16 | Azzam Maraee, Mira Balaban |
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints |
16 | Zhuquan Zang, Sven Nordholm |
Design of ODMA Digital Waveforms Using Non-Convex Optimization Methods. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
max-min type constraints, correlation constraints, spectral shaping, intersymbol interference, multiple access communications, co-channel interference, non-convex optimization |
16 | Bhavani Thuraisingham |
Data Mining, National Security, Privacy and Civil Liberties. |
SIGKDD Explor. |
2002 |
DBLP DOI BibTeX RDF |
counter-terrorism, privacy constraints, privacy problem, privacy sensitive data mining, security constraints, data mining, privacy, World Wide Web, national security, inference problem, civil liberties |
16 | Fredrik Kahl, Anders Heyden |
Affine Structure and Motion from Points, Lines and Conics. |
Int. J. Comput. Vis. |
1999 |
DBLP DOI BibTeX RDF |
closure constraints, multiple view tensors, reconstruction, factorization methods, affine cameras, matching constraints |
16 | Guo-Qing Wei, Gerd Hirzinger |
Parametric Shape-from-Shading by Radial Basis Functions. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1997 |
DBLP DOI BibTeX RDF |
depth constraints, normals constraints, qualitative knowledge, stochastic gradient method, radial basis functions, Shape from shading, hierarchical structure |
16 | Hans W. Guesgen, Joachim Hertzberg |
A constraint-based approach to spatiotemporal reasoning. |
Appl. Intell. |
1993 |
DBLP DOI BibTeX RDF |
spatiotemporal reasoning, Constraints, dynamic constraints, constraint relaxation |
16 | Susan Darling Urban, Lois M. L. Delcambre |
Constraint Analysis: A Design Process for Specifying Operations on Objects. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
object-oriented database design environment, object-oriented database schema, flexible specification, propagation actions, constraint violations, explicit schema constraints, automatic identification, formal specification, semantics, object-oriented programming, object-oriented databases, design process, design process, formal logic, object manipulation, design alternatives, constraint analysis, Horn logic, formal representation, database constraints |
16 | Stefan Lehmann, Tim Felgentreff, Robert Hirschfeld |
Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints. |
COP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Khalid Benabdeslem, Jihène Snoussi |
A Probabilistic Approach for Constrained Clustering with Topological Map. |
MLDM |
2009 |
DBLP DOI BibTeX RDF |
GTM, Soft constraints, Constrained Clustering |
15 | Wenfei Fan, Floris Geerts |
Relative information completeness. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
information completeness, master data, constraints, consistency |
15 | Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao |
Verification for Time Consistency of Web Service Flow. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Verification of WS Flow, Annotated OWL_S, Time Ontology, Time Constraints Petri Net, Model Checking |
15 | Jinxiang Chai, Jessica K. Hodgins |
Constraint-based motion optimization using a statistical dynamic model. |
ACM Trans. Graph. |
2007 |
DBLP DOI BibTeX RDF |
constraint-based motion synthesis, human body animation, spatial-temporal constraints, statistical dynamic models, facial animation, motion control, motion capture data |
15 | Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan, Guido Governatori |
Using a temporal constraint network for business process execution. |
ADC |
2006 |
DBLP BibTeX RDF |
workflows, process modelling, constraint satisfaction, temporal constraints |
15 | Julien Pouget, Erik Larsson, Zebo Peng |
Multiple-Constraint Driven System-on-Chip Test Time Optimization. |
J. Electron. Test. |
2005 |
DBLP DOI BibTeX RDF |
wrapper and TAM design, test scheduling, SOC testing, power constraint, multiple constraints |
15 | Seyoon Tak, Hyeong-Seok Ko |
A physically-based motion retargeting filter. |
ACM Trans. Graph. |
2005 |
DBLP DOI BibTeX RDF |
animation w/constraints, physically based animation, Motion retargeting |
15 | Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt |
A Specification-Based Intrusion Detection Model for OLSR. |
RAID |
2005 |
DBLP DOI BibTeX RDF |
Specification based IDS, MANET, Mobile ad hoc network, Intrusion Detection, Network Security, Constraints, OLSR |
15 | Mohamed Ali Aloulou, Mikhail Y. Kovalyov, Marie-Claude Portmann |
Maximization Problems in Single Machine Scheduling. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
semi-active schedules, maximization problem, scheduling, precedence constraints, release times |
15 | Hiroshi Hosobe |
Hierarchical nonlinear constraint satisfaction. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction, least squares, constraint hierarchies, nonlinear constraints |
15 | Praveen Madiraju, Rajshekhar Sunderraman |
A mobile agent approach for global database constraint checking. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
multi-database systems, mobile agents, global constraints |
15 | Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung |
Faster constraint solving with subtypes. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
relational logic, verification, constraints, analysis, SAT, subtypes |
15 | Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li |
A Systematic Search Strategy for Product Configuration. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration |
15 | Ignacio Llamas, ByungMoon Kim, Joshua Gargus, Jarek Rossignac, Christopher D. Shaw |
Twister: a space-warp operator for the two-handed editing of 3D shapes. |
ACM Trans. Graph. |
2003 |
DBLP DOI BibTeX RDF |
displacement and orientation constraints, free-form deformation, two-handed interaction |
15 | Yong Wang, Uma Jayaram, Sankar Jayaram, Shaikh Imtiyaz |
Methods and Algorithms for Constraint-based Virtual Assembly. |
Virtual Real. |
2003 |
DBLP DOI BibTeX RDF |
Assembly Constraints, Constrained Motion Simulation, Virtual Assembly |
15 | Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez |
Solving Combinatorial Problems with a Constraint Functional Logic Language. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Constraints, Functional Logic Programming, Finite Domains |
15 | Tamraparni Dasu, Gregg T. Vesonder, Jon R. Wright |
Data quality through knowledge engineering. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
business operations databases, static and dynamic constraints, data quality |
15 | Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto |
Transforming an under-constrained geometric constraint problem into a well-constrained one. |
Symposium on Solid Modeling and Applications |
2003 |
DBLP DOI BibTeX RDF |
graph-based constraint solving, over-constrained and under-constrained systems, constraint solving, geometric constraints |
15 | Simon Baker, Takeo Kanade |
Limits on Super-Resolution and How to Break Them. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2002 |
DBLP DOI BibTeX RDF |
analysis of reconstruction constraints, hallucination, recogstruction, learning, text, Super-resolution, faces |
15 | Kristian Sandström, Christer Norström |
Managing Complex Temporal Requirements in Real-Time Control Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
assigning priorities, assigning offsets, relative timing constraints, scheduling, Real-time systems, control systems |
15 | Ali Dasdan |
A strongly polynomial-time algorithm for over-constraint resolution: efficient debugging of timing constraint violations. |
CODES |
2002 |
DBLP DOI BibTeX RDF |
scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis |
15 | William H. Bares, Byungwoo Kim |
Generating virtual camera compositions. |
IUI |
2001 |
DBLP DOI BibTeX RDF |
generation of constraints, photographic composition, visualization interfaces |
15 | Radoslaw Szymanek, Krzysztof Kuchcinski |
A constructive algorithm for memory-aware task assignment and scheduling. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
task scheduling, constraint programming, task assignment, memory constraints |
15 | Luke Hunsberger |
Generating Bids for Group-Related Actions in the Context of Prior Commitments. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
Collaborative Planning, Simple Temporal Networks, Bid Generation, Combinatorial Auctions, Temporal Constraints, Group Decision Making |
15 | Wen-Jer Wu, Chuan Yi Tang |
Memory test time reduction by interconnecting test items. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
memory test time reduction, test items interconnection, initialization sequences, verification sequences, signal settling time, interconnection problem, rural Chinese postman problem, integer linear programming model, successive ILP models, graph theory, constraints, linear programming, integrated circuit testing, integer programming, iterations, NP-hard problem, integrated memory circuits |
15 | Woong Kwon, Beom Hee Lee 0001 |
A New Optimal Force Distribution Scheme of Multiple Cooperating Robots Using Dual Method. |
J. Intell. Robotic Syst. |
1998 |
DBLP DOI BibTeX RDF |
optimal force distribution, multiple cooperating robots, Dual method of NLP, quadratic constraints, real time application, quadratic programming |
15 | Thomas Fahringer |
Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators. |
J. Supercomput. |
1998 |
DBLP DOI BibTeX RDF |
symbolic expressions, comparing symbolic expressions, symbolic expression bounds, simplifying constraints, symbolic dependence testing, program analysis |
15 | Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong |
Relational Expressive Power of Constraint Query Languages. |
J. ACM |
1998 |
DBLP DOI BibTeX RDF |
constraint query language, database, constraints, expressive power, relational calculus |
15 | Anmol Mathur, Ali Dasdan, Rajesh K. Gupta 0001 |
Rate analysis for embedded systems. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
average execution rate, concurrent system modeling, interactive rate violation debugging, rate constraints, embedded systems, rate analysis |
15 | Patrick Vuillod, Luca Benini, Giovanni De Micheli |
Generalized matching from theory to application. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
MCNC 91 benchmark suite, algorithmic optimization, generalized matching, library cells, multi-output network, post-mapping optimization, unconstrained delay minimization, logic CAD, power minimization, delay constraints, area minimization, Boolean relation |
15 | R. Miller, Hal Carter, K. Davis, Satish Venkatesan |
Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
hardware software cosynthesis, multiple constraint satisfaction, high-level system specification, constraint-driven retrieval, candidate solution evaluation, cosynthesis tool, multiple design constraints, two constraint Fidducia-Matheyses approach, flexible component retrieval, design database, ad hoc querying, systems analysis, hardware description language, design space, component retrieval |
15 | Rainer Leupers, Peter Marwedel |
Time-constrained code compaction for DSPs. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
code generation techniques, digital signal processing algorithms, encoding restrictions, exact timing behavior, hard real-time constraints, integer programming model, local code compaction, programmable DSP, rigid heuristics, time-constrained code compaction, real-time systems, timing, integer programming, instruction-level parallelism, source coding, automatic programming, digital signal processing chips, side-effects |
15 | Yuejun Jiang |
An Autoepistemic Logical View of Knowledge Base. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
AI in Database, Incomplete knowledge, Complete Database, Nonstandard Logic, Modal logic, Deductive database, Integrity Constraints, Non-monotonic logic, Closed World Assumption, Possible worlds semantics, Autoepistemic logic |
15 | Rémy Garcia |
Floating-point numbers round-off error analysis by constraint programming. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kyle E. C. Booth |
Constraint programming approaches to electric vehicle and robot routing problems. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace 0001, Michael Wybrow, Maria Garcia de la Banda |
Human-centred feasibility restoration in practice. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
Towards better heuristics for solving bounded model checking problems. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Margarita P. Castro |
Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
|
|