|
|
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 |
19 | Fabio Casati, Silvana Castano, Maria Grazia Fugini |
Managing Workflow Authorization Constraints through Active Database Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 3(3), pp. 319-338, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
workflows, authorizations, roles, active databases, triggers, authorization constraints |
19 | Xuan Liu, Shashi Shekhar, Sanjay Chawla |
Consistency checking for Euclidean spatial constraints: a dimension graph approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 333-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Euclidean spatial constraints, dimension graph approach, graph cycle detection, spatial predicates, two-dimensional space, computational complexity, computational geometry, transforms, polygons, consistency checking, intervals, space complexity, spatial objects |
19 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici |
Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(6), pp. 948-968, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
temporal relational databases, temporal constraint propagation, qualitative and quantitative temporal constraints, Artificial intelligence, integration, temporal reasoning |
19 | F. J. Daniels, Kuo-Chung Tai |
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 74-83, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Object-oriented intra-class testing, Method sequences, Sequencing constraints |
19 | Anne H. H. Ngu |
Specification of Cooperative Constraints in Virtual Enterprise Workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RIDE ![In: Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, Sydney, Australia, March 23-24, 1999, pp. 140-147, 1999, IEEE Computer Society, 0-7695-0119-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Workflows, Virtual Enterprise, Constraints Specification |
19 | Martin Müller, Susumu Nishimura |
Type Inference for First-Class Messages with Feature Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings, pp. 169-187, 1998, Springer, 3-540-65388-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference |
19 | Vera Pless |
Constraints on Weights in Binary Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(5), pp. 411-414, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Singly-even, Doubly-even, Constraints, Weights |
19 | Gabriella Convertino, Ettore Stella, Antonella Branca, Arcangelo Distante |
Optic flow estimation by a Hopfield neural network using geometrical constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 10(3), pp. 114-122, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Trajectory geometric constraints, Optical flow, Hopfield neural network, Features Matching |
19 | Ann Q. Gates, C. Kubo Della-Piana |
The identification of integrity constraints in requirements for context monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 498-506, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
application-specific knowledge, specialized knowledge, software engineering, formal specification, requirements, integrity constraints, development team, context monitoring |
19 | Guy W. Mineau, Rokia Missaoui |
The Representation of Semantic Constraints in Conceptual Graph Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 138-152, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
conceptual graph theory, semantics, semantic constraints |
19 | Minsoo Ryu, Seongsoo Hong, Manas Saksena |
Streamlining real-time controller design: From performance specifications to end-to-end timing constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997, pp. 91-99, 1997, IEEE Computer Society, 0-8186-8016-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time |
19 | Javier Orozco, Ricardo Cayssials, Jorge Santos 0002, Edgardo Ferro |
Precedence constraints in hard real-time distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy, pp. 33-38, 1997, IEEE Computer Society, 0-8186-8126-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hard real-time distributed systems, multitask-multiprocessor systems, taxonomic genus, tentative assignment, formally proved method, tentative assignments, real-time systems, NP-complete problem, precedence constraints |
19 | Rajesh K. Gupta 0001 |
A framework for interactive analysis of timing constraints in embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Forth International Workshop on Hardware/Software Codesign, CODES 1996, Pittsburgh, PA, USA, March 18-20, 1996, pp. 44-51, 1996, IEEE Computer Society, 0-8186-7243-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
constraint satisfiability, performance evaluation, real-time systems, embedded systems, timing, computability, logic design, satisfiability, timing constraints, interactive analysis, timing performance |
19 | Jocelyne Farhat-Gissler, Isabelle M. Demeure |
Automatic Scheduling of Applications with Temporal QoS Constraints: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 581-, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
automatic scheduling, temporal QoS constraints, scheduling framework, geostationary satellite application, cooperative scheduling system, scheduling scenarios, software quality, dependency graphs |
19 | Jan Chomicki |
Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 20(2), pp. 149-186, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
temporal logic, temporal databases, integrity constraints, active databases, database integrity, triggers, real-time databases |
19 | Demetri Terzopoulos, Hong Qin 0001 |
Dynamic NURBS with geometric constraints for interactive sculpting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 13(2), pp. 103-136, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
cross-sectional shape design, optimal curve and surface fitting, shape metamorphosis, solid rounding, constraints, dynamics, deformable models, finite elements, NURBS, free-form deformation, CAGD, trimming |
19 | Udo W. Lipeck |
Transformation of Dynamic Integrity Constraints into Transaction Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings, pp. 322-337, 1988, Springer, 3-540-50171-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
pre/postconditions, constraint simplification, integrity, monitoring, temporal logic, transactions, dynamic constraints, transition graphs |
19 | Anthony C. Klug |
Calculating Constraints on Relational Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 5(3), pp. 260-290, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
eompleteness, constraints, Views, functional dependencies, derivation rules |
19 | Tiziana Ligorio, Susan L. Epstein |
Partial Redundant Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 856, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | C. E. Miller, Albert W. Tucker, R. A. Zemlin |
Integer Programming Formulation of Traveling Salesman Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 7(4), pp. 326-329, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
18 | Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu |
Timing Constraints Specification and Verification for Web Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 315-322, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ravi D. Shankar, Susana B. Martins, Martin J. O'Connor, David B. Parrish, Amar K. Das |
Representing and Reasoning with Temporal Constraints in Clinical Trials Using Semantic Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSTEC (Selected Papers) ![In: Biomedical Engineering Systems and Technologies, International Joint Conference, BIOSTEC 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers, pp. 520-530, 2008, Springer, 978-3-540-92218-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Semantic Web, OWL, temporal reasoning, clinical trials, biomedical informatics |
18 | Yi Hong 0002, Sam Kwong, Hui Xiong 0001, Qingsheng Ren |
Genetic-guided semi-supervised clustering algorithm with instance-level constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1381-1388, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithms, semi-supervised clustering |
18 | Sami Al-Maqtari, Habib Abdulrab |
Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 205-211, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Shinichi Koda, Chikaaki Kodama, Kunihiro Fujiyoshi |
Linear Programming-Based Cell Placement With Symmetry Constraints for Analog IC Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(4), pp. 659-668, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Martin Sachenbacher, Brian C. Williams |
Conflict-Directed A* Search for Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings, pp. 182-196, 2006, Springer, 3-540-34306-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mira Balaban, Azzam Maraee |
Consistency of UML Class Diagrams with Hierarchy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 6th International Workshop, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006, Proceedings, pp. 71-82, 2006, Springer, 3-540-35472-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, Qiang Ling |
Scheduling Tasks with Markov-Chain Based Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings, pp. 157-166, 2005, IEEE Computer Society, 0-7695-2400-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yongzhi Liu, Qiyue Zou, Zhiping Lin 0001 |
Generalized sidelobe cancellers with leakage constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 3741-3744, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge |
Specification and Validation of Authorisation Constraints Using UML and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings, pp. 64-79, 2005, Springer, 3-540-28963-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Unil Yun, John J. Leggett |
WLPMiner: Weighted Frequent Pattern Mining with Length-Decreasing Support Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005, Proceedings, pp. 555-567, 2005, Springer, 3-540-26076-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Krishna Gade, Jianyong Wang 0001, George Karypis |
Efficient closed pattern mining in the presence of tough block constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Seattle, Washington, USA, August 22-25, 2004, pp. 138-147, 2004, ACM, 1-58113-888-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
block constraint, tough constraint, closed pattern |
18 | Sanja Petrovic, Vijay Patel, Yong Yang 0004 |
Examination Timetabling with Fuzzy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATAT ![In: Practice and Theory of Automated Timetabling V, 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers, pp. 313-333, 2004, Springer, 3-540-30705-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 138-152, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Hongchen Li, Yun Yang 0001 |
Verification of Temporal Constraints for Concurrent Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings, pp. 804-813, 2004, Springer, 3-540-21371-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Hua Wang 0002, Yanchun Zhang, Jinli Cao, Jian Yang |
Specifying Role-Based Access Constraints with Object Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings, pp. 687-696, 2004, Springer, 3-540-21371-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Joachim Biskup, Torsten Polle |
Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(6-7), pp. 391-449, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Markus Bohlin |
Improving Cost Calculations for Global Constraints in Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 772, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Lih-Yang Wang, Yen-Tai Lai |
Graph-theory-based simplex algorithm for VLSI layout spacingproblems with multiple variable constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(8), pp. 967-979, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Wenfei Fan, Leonid Libkin |
On XML Integrity Constraints in the Presence of DTDs. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 21-23, 2001, Santa Barbara, California, USA, 2001, ACM, 1-58113-361-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Karl N. Levitt |
System Health and Intrusion Monitoring Using a Hierarchy of Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Advances in Intrusion Detection ![In: Recent Advances in Intrusion Detection, 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001, Proceedings, pp. 190-204, 2001, Springer, 3-540-42702-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gail-Joon Ahn, Michael E. Shin |
Role-Based Authorization Constraints Specification Using Object Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 20-22 June 2001, Cambridge, MA, USA, pp. 157-162, 2001, IEEE Computer Society, 0-7695-1269-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Hideki Sato, Akifumi Makinouchi |
Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2000, 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000, Proceedings, pp. 80-95, 2000, Springer, 3-540-41072-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Nikos Canterakis |
A Minimal Set of Constraints for the Trivocal Tensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part I, pp. 84-99, 2000, Springer, 3-540-67685-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Philippe Blache |
Constraints, Linguistic Theories and Natural Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Natural Language Processing ![In: Natural Language Processing - NLP 2000, Second International Conference, Patras, Greece, June 2-4, 2000, Proceedings, pp. 221-232, 2000, Springer, 3-540-67605-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Aaron G. Cass, Leon J. Osterweil |
Design Guidance through the Controlled Application of Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 195-200, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot |
Entailment of Atomic Set Constraints is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 285-294, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Guy W. Mineau |
Constraints on Processes: Essential Elements for the Validation and Execution of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Standards and Practices, 7th International Conference on Conceptual Structures, ICCS '99, Blacksburg, Virginia, USA, July 12-15, 1999, Proceedings, pp. 66-82, 1999, Springer, 3-540-66223-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Peter J. Stuckey, S. Sudarshan 0001 |
Compiling Query Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 56-67, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Brodsky 0001, Yehoshua Sagiv |
Inference of Monotonicity Constraints in Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 190-199, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
18 | James P. Delgrande |
Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 190-196, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Victor Vianu |
Dynamic Constraints and Database Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia, USA, pp. 389-399, 1983, ACM, 0-89791-097-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Roman Barták, Roman Mecl |
Implementing Propagators for Tabular Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, pp. 44-65, 2003, Springer, 3-540-21834-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan |
Tradeoff Generation Using Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, pp. 124-139, 2003, Springer, 3-540-21834-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou |
Towards Automated Reasoning on the Properties of Numerical Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Workshop on Constraint Solving and Constraint Logic Programming ![In: Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers, pp. 47-61, 2002, Springer, 3-540-00986-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Waltraud Huyer, Arnold Neumaier |
SNOBFIT - Stable Noisy Optimization by Branch and Fit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 35(2), pp. 9:1-9:25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
derivative-free, expensive function values, hidden constraints, noisy function values, Branch-and-bound, soft constraints, surrogate model, parallel evaluation |
18 | Deborah East, Miroslaw Truszczynski |
Predicate-calculus-based logics for modeling and solving search problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(1), pp. 38-83, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic |
18 | Chi-Min Lin, Tien-Fu Chen |
Dynamic memory management for real-time embedded Java chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 49-56, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
storage management chips, dynamic runtime memory management, real-time embedded Java chips, CPU design, hardware-assisted scheme, dynamic garbage collection mechanism, predictable memory allocation time, data transition events, circular heap, simulation, Java, embedded systems, response time, memory architecture, memory architecture, storage allocation, coprocessors, resource constraints, real-time constraints, co-processor |
18 | Malek Mouhoub |
Reasoning about numeric and symbolic time information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 164-171, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra |
18 | Denis Dion Jr., Denis Laurendeau, Robert Bergevin |
Generalized Cylinders Extraction in a Range Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: International Conference on Recent Advances in 3-D Digital Imaging and Modeling (3DIM '97), May 12-15, 1997, Ottawa, Ontario, Canada, pp. 141-147, 1997, IEEE Computer Society, 0-8186-7943-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
generalized cylinder extraction, right generalized cylinders, straightness constraints, homogeneity constraints, axis point extraction, axis curve representation, three dimensional object modeling, image segmentation, solid modelling, range image, 3D object modeling, cross-section |
18 | Jürgen Teich, Tobias Blickle, Lothar Thiele |
An evolutionary approach to system-level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Fifth International Workshop on Hardware/Software Codesign, CODES/CASHE 1997, March 24-26, 1997, Braunschweig, Germany, pp. 167-171, 1997, IEEE Computer Society, 0-8186-7895-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
architecture selection, cost constraints, graph-based mapping model, heterogeneous hardware/software architecture, optimal mapping, performance constraints, task-level specification mapping, video-codec implementations, genetic algorithms, scheduling, memories, ASICs, design space exploration, allocation, optimization problem, binding, buses, system-level synthesis, evolutionary approach, algorithm mapping, general-purpose processors, dedicated processors |
18 | Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad |
From serializable to causal transactions for collaborative applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 314-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
serializable transactions, causal transactions, decentralized distributed systems, shared distributed objects, consistency criteria, execution behaviour, failure atomicity, long-lived objects, causal serializability, service quality constraints, fault tolerance, performance, protocols, groupware, availability, cooperative work, autonomy, collaborative applications, concurrent access, operating system support, synchronization constraints, causal consistency |
18 | Ari Rappoport, Alla Sheffer, Michel Bercovier |
Volume-Preserving Free-Form Solids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 2(1), pp. 19-27, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Free-form solids, free-form deformations (FFD), continuity constraints, Uzawa's algorithm, physics-based modeling, volume preservation, energy constraints |
18 | Ismael Ripoll, Ana García-Fornes, Alfons Crespo |
Optimal aperiodic scheduling for dynamic-priority systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 294-300, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
optimal aperiodic scheduling, dynamic-priority systems, soft real-time constraints, hard real-time constraints, on-line aperiodic admission algorithm, optimal dynamic priority preemptive scheduler, shortest response time, soft aperiodic tasks, dynamic priority schedulers, firm deadline aperiodic tasks, real-time systems, fixed priority schedulers |
18 | Lina J. Karam, Christine Podilchuk |
Chroma coding for video at very low bit rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 562-565, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
luminance-chrominance coordinate space, very low bit rate video coding systems, chroma coding, coded luminance data, color motion video, fixed frame constraints, bit rate constraints, hybrid waveform coding technique, model-based component, head-and-shoulders sequence, 8 to 40 kbit/s, compression, data compression, image sequences, video coding, image colour analysis |
18 | Nikolaos D. Sidiropoulos, John S. Baras, Carlos Alberto Berenstein |
On morphological openings and closings of signals in shaped noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 518-521, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
morphological closings, shaped noise, morphologically smooth binary image signals, IID union noise, IID union clutter, IID random dropouts, morphological constraints, image processing, noise, mathematical morphology, maximum likelihood estimation, filtering theory, geometric constraints, clutter, MAP estimators, morphological filter, noise model, geometric structure, morphological openings |
18 | Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung |
Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 174-179, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols |
18 | Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Farnam Jahanian |
Design and evaluation of a window-consistent replication service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 182-191, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
back-up procedures, window-consistent primary-backup replication service, data replication protocols, bounded overhead, repository availability, consistency relaxation, controlled inconsistency, update transmission scheduling, client applications, failed primary, client loads, temporal inconsistency bounds, scheduling, fault tolerance, real-time systems, data integrity, distributed databases, timing, redundancy, redundancy, database theory, timing constraints, software fault tolerance, real-time applications, replicated databases, service guarantees, dependability constraints |
18 | Joaquim A. Jorge, Ephraim P. Glinert |
Online Parsing of Visual Languages Using Adjacency Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 250-257, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
online parsing, diagram-like visual languages, adjacency grammars, visual computing environments, incremental parsing algorithm, overlapping elements, logical constraints, linear run-times, large visual sentences, visual languages, diagrams, programming theory, graph grammars, spatial constraints, online operation, top-down methods, bottom-up methods |
18 | Ernst D. Dickmanns, Birger D. Mysliwetz |
Recursive 3-D Road and Relative Ego-State Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(2), pp. 199-213, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
recursive 3D road curvature recognition, Intel 386, ego-state recognition, differential geometry representation, Intel 80286, VaMoRs, pattern recognition, computer vision, computer vision, computational geometry, computerised pattern recognition, temporal constraints, computerised navigation, computerised navigation, spatio-temporal model, spatial constraints, road vehicles |
18 | E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro |
The IC* Model of Parallel Computation and Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 317-326, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
IC* project, structural constraints, explicit modeling, nondeterministic evolution, dynamic activation, distributed systems, design, parallel processing, parallel computation, parallel computer, protocols, specification, programming environment, programming environments, parallel machines, communication protocols, temporal constraints |
17 | Jie Chen 0003, Bin Xin 0002, Zhihong Peng, LiHua Dou, Juan Zhang |
Evolutionary decision-makings for the dynamic weapon-target assignment problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(11), pp. 2006-2018, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic weapon-target assignment (DWTA), military command and control, evolutionary computation, decision-making, memetic algorithms, constraints handling |
17 | Lin Fu, Yuexian Hou |
Using Non-extensive Entropy for Text Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Emerging Intelligent Computing Technology and Applications, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings, pp. 908-917, 2009, Springer, 978-3-642-04069-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Non-extensive entropy, High-level constraints, Text classification |
17 | Ronan Cummins, Colm O'Riordan |
Measuring constraint violations in information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2009, Boston, MA, USA, July 19-23, 2009, pp. 722-723, 2009, ACM, 978-1-60558-483-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
information retrieval, constraints, axioms |
17 | Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack |
Constraint-driven floorplan repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(4), pp. 67:1-67:13, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraints, Floorplanning, legalization |
17 | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
Global difference constraint propagation for finite domain solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 226-235, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
difference logic, propagation, global constraints |
17 | James P. Davis, Ronald D. Bonnell |
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(3), pp. 427-440, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, constraints, Conceptual modeling, knowledge engineering, agent-oriented software engineering, object-oriented analysis, Boolean logic |
17 | Haoxing Ren, David Z. Pan, Charles J. Alpert, Gi-Joon Nam, Paul G. Villarrubia |
Hippocrates: First-Do-No-Harm Detailed Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 141-146, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
synthesis optimizations, Hippocrates, first-do-no-harm detailed placement, pin-based timing constraint, electrical constraints, reduced wire-length |
17 | Jin Huang 0001, Xiaohan Shi, Xinguo Liu, Kun Zhou 0001, Li-Yi Wei, Shang-Hua Teng, Hujun Bao, Baining Guo, Heung-Yeung Shum |
Subspace gradient domain mesh deformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 25(3), pp. 1126-1134, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
projection constraint, skeletal control, volume preservation, nonlinear constraints |
17 | Nizar Grira, Michel Crucianu, Nozha Boujemaa |
Active semi-supervised fuzzy clustering for image database categorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 7th ACM SIGMM International Workshop on Multimedia Information Retrieval, MIR 2005, November 10-11, 2005, Singapore, pp. 9-16, 2005, ACM, 1-59593-244-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
image database categorization, semi-supervised clustering, pairwise constraints |
17 | Vijayalakshmi Atluri, Janice Warner |
Supporting conditional delegation in secure workflow management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 10th ACM Symposium on Access Control Models and Technologies, SACMAT 2005, Stockholm, Sweden, June 1-3, 2005, Proceedings, pp. 49-58, 2005, ACM, 1-59593-045-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
workflow, constraints, delegation |
17 | Hui Fang 0001, Tao Tao, ChengXiang Zhai |
A formal study of information retrieval heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Sheffield, UK, July 25-29, 2004, pp. 49-56, 2004, ACM, 1-58113-881-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
TF-IDF weighting, constraints, formal models, retrieval heuristics |
17 | Laks V. S. Lakshmanan, Carson Kai-Sang Leung, Raymond T. Ng |
Efficient dynamic mining of constrained frequent sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 28(4), pp. 337-389, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
limited buffer space, data mining, constraints, Association rules, frequent sets, dynamic changes |
17 | Stephan Flake, Wolfgang Müller 0003 |
Specification of Real-Time Properties for UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 277, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, Object Constraint Language, Real-Time Constraints, Property Specification |
17 | Paolo Terenziani |
Temporal Reasoning with Classes and Instances of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002, pp. 100-107, 2002, IEEE Computer Society, 0-7695-1474-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Temporal constraints between classes and instances of events, Prediction, Consistency, Inheritance |
17 | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi |
Verification Criteria for a Compositional Model for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 25-35, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation |
17 | Jean-Pierre Thomesse, Zoubir Mammeri, L. Vega |
Time in Distributed Systems Cooperation and Communication Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 41-49, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Distributed systems, Communication, Real-time, Time constraints |
17 | Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel |
Model-driven visualizations of constraint-based local search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(3), pp. 294-324, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model-driven visualization, Constraint-based local search, Optimization algorithm |
17 | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara |
Compiling finite linear CSP into SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(2), pp. 254-272, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems |
17 | Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace 0001 |
The Design of the Zinc Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 13(3), pp. 229-267, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Modelling, Optimisation, CSP, Constraint programming, Language design |
17 | Matthias Zytnicki, Christine Gaspin, Thomas Schiex |
DARN! A Weighted Constraint Solver for RNA Motif Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 13(1-2), pp. 91-109, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DARN, RNA motif localization, ncRNA |
17 | Amnon Meisels, Roie Zivan |
Asynchronous Forward-checking for DisCSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(1), pp. 131-150, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Distributed CSPs, Asynchronous search, Forward-checking |
17 | Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson |
Design of Financial CDO Squared Transactions Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(2), pp. 179-205, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming |
17 | Marco Chiarandini, Thomas Stützle |
Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(3), pp. 371-403, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Graph set T-colouring problem, Simple construction heuristics, Stochastic local search algorithms |
17 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 11(2-3), pp. 115-137, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Symmetry, Constraint satisfaction problems |
17 | John N. Hooker |
A Hybrid Method for the Planning and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(4), pp. 385-401, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Bender's decomposition, hybrid methods, planning and scheduling |
17 | François Fages, Sylvain Soliman, Rémi Coolen |
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(4), pp. 241-262, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
program annotation, visualization, GUI, debugging, constraint programming, search trees |
17 | David A. Cohen |
Tractable Decision for a Constraint Language Implies Tractable Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(3), pp. 219-229, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
complexity, language, tractability |
17 | Jeremy Frank, Ari K. Jónsson |
Constraint-Based Attribute and Interval Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 8(4), pp. 339-364, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic constraint reasoning, consistency enforcement, temporal planning, planning, resources |
17 | Francesca Rossi 0001 |
Constraint (Logic) Programming: A Survey on Research and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Constraints ![In: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, pp. 40-74, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
|
|