|
|
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 |
20 | Roman Gross, Robert W. Marti |
Compile Time Constraint Solving in a Constraint Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS Workshop: Constraints and Databases ![In: ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
20 | Jan Chomicki, Gabriel M. Kuper |
Measuring Infinite Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS Workshop: Constraints and Databases ![In: ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
20 | Michael J. Maher |
Constrained Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS Workshop: Constraints and Databases ![In: ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
20 | Alon Y. Levy, Yehoshua Sagiv |
Semantic Query Optimization in Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS Workshop: Constraints and Databases ![In: ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
20 | Sandro Etalle, Maurizio Gabbrielli |
Modular Transformations of CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS Workshop: Constraints and Databases ![In: ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
20 | Alexander Brodsky 0001, Yoram Kornatzky |
The LyriC Language: Querying Constraint Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS Workshop: Constraints and Databases ![In: ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
20 | Ruzica Piskac, Viktor Kuncak |
Decision Procedures for Multisets with Cardinality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 218-232, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Fernando Orejas |
Attributed Graph Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 274-288, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Erliang Zeng, Chengyong Yang, Tao Li 0001, Giri Narasimhan |
On the Effectiveness of Constraints Sets in Clustering Genes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 79-86, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yan Sun 0008, Xiaoqing Frank Liu, Bruce M. McMillin |
A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 281-290, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Aneta Poniszewska-Maranda |
Security Constraints in Access Control of Information System Using UML Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 26-28 June 2006, Manchester, United Kingdom, pp. 332-337, 2006, IEEE Computer Society, 0-7695-2623-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri |
Adapting spatial constraints of composite multimedia objects to achieve universal access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 24th IEEE International Performance Computing and Communications Conference, IPCCC 2005, April 7-9, 2005, Phoenix, Arizona, USA, pp. 519-525, 2005, IEEE, 0-7803-8991-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Herman Balsters, Bert O. de Brock |
Integration of Integrity Constraints in Federated Schemata Based on Tight Constraining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (1) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part I, pp. 748-767, 2004, Springer, 3-540-23663-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Martin H. C. Law, Alexander P. Topchy, Anil K. Jain 0001 |
Clustering with Soft and Group Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings, pp. 662-670, 2004, Springer, 3-540-22570-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jason Crampton |
Specifying and enforcing constraints in role-based access control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 8th ACM Symposium on Access Control Models and Technologies, SACMAT 2003, Villa Gallia, Como, Italy, June 2-3, 2003, Proceedings, pp. 43-50, 2003, ACM, 1-58113-681-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
enforcement context, separation of duty constraint, role-based access control, authorization constraint |
20 | Gaihua Fu, Jianhua Shao 0001, Suzanne M. Embury, W. A. Gray |
An Algorithm for Determining Related Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002, Proceedings, pp. 134-149, 2002, Springer, 3-540-43905-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Constraint Business Rule, Reverse Engineering, Constraint Analysis |
20 | Witold Charatonik, Jean-Marc Talbot |
Atomic Set Constraints with Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 311-325, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Kostas Stergiou 0001 |
On Algorithms for Decomposable Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Second Hellenic Conference on AI, SETN 2002. Thessaloniki, Greece, April 11-12, 2002, Proceedings, pp. 65-71, 2002, Springer, 3-540-43472-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Xiaochun Yang 0001, Ge Yu 0001, Guoren Wang |
Efficiently Mapping Integrity Constraints from Relational Database to XML Document. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 5th East European Conference, ADBIS 2001, Vilnius, Lithuania, September 25-28, 2001, Proceedings, pp. 338-351, 2001, Springer, 3-540-42555-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Yuanlin Zhang 0002, Roland H. C. Yap |
Arc Consistency on n-ary Monotonic and Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 470-483, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Hartmut Ehrig, Eric G. Wagner, James W. Thatcher |
Algebraic Specifications with Generating Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 188-202, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
20 | George Katsirelos, Nina Narodytska, Toby Walsh |
Combining Symmetry Breaking and Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers, pp. 84-98, 2008, Springer, 978-3-642-03250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Igor Razgon, Barry O'Sullivan, Gregory M. Provan |
Generalizing Global Constraints Based on Network Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers, pp. 127-141, 2007, Springer, 978-3-540-89811-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Joachim Biskup, Barbara Sprick |
Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics in Databases ![In: Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers, pp. 34-62, 2001, Springer, 3-540-00957-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Beldiceanu |
Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 52-66, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Lai-Jiu Lin 0001 |
Systems of variational inclusion problems and differential inclusion problems with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 44(4), pp. 579-591, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Systems of variational inclusion problem, Systems of variational differential inclusion problems, Systems of equilibrium problems, Mathematical program with systems of variational differential inclusion constraints, Mathematical program with systems of equilibrium constraints |
19 | Josef Kallrath |
Cutting circles and polygons from area-minimizing rectangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(2-3), pp. 299-328, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Non-overlap constraints, Global Optimization, Mixed integer programming, Assignment, Packing problem, Cutting stock problem, Shape constraints, Design problem |
19 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 |
Semiring-based contstraint logic programming: syntax and semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(1), pp. 1-29, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
semantics, constraints, soft constraints |
19 | Frans Kuijt, Ruud van Damme |
A linear approach to shape preserving spline approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 14(1), pp. 25-48, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
spline approximation, linearisation of shape constraints, convexity, monotonicity, linear constraints |
19 | Sid Ahmed Ali Touati |
Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001, pp. 159-164, 2001, ACM, 1-58113-364-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
cache effects, optimal acyclic schedule, register constraints, integer programming, resources constraints |
19 | Alexander Brodsky 0001, Larry Kerschberg, Samuel Varas |
Resource Management in Agent-based Distributed Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANTE ![In: 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE '99), 28-30 November 1999, Kyoto, Japan, pp. 95-108, 1999, IEEE Computer Society, 0-7695-0496-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
local and global constraints, optimization, Agents, workflow, constraints, constraint satisfaction, logistics |
19 | Michael Kifer |
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(4), pp. 588-633, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization |
19 | Chih-wen Hsueh, Kwei-Jay Lin |
Schedulability comparisons among periodic and distance-constrained real-time schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 60-66, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
schedulability comparisons, distance-constrained real-time schedulers, pinwheel schedulers, transformed harmonic distance constraints, real-time systems, real-time system, timing constraints |
19 | Timothy K. Shih, Anthony Y. Chang |
A schedule/layout computation model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 178-181, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
schedule/layout computation model, temporal intervals, temporal relation compositions, temporal relation algebraic system, virtual reality timing constraints, virtual reality, time constraints, multimedia presentations, multimedia documents |
19 | J. C. Tay, S. Y. Huang, Hiok Chai Quek |
CSL (Part I): Modelling General N-ary, Logical CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 414-421, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints |
19 | Edward Lank, Dorothea Blostein |
N-grams: a well-structured knowledge representation for recognition of graphical documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 801-804, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
graphical document recognition, local constraints, symbol-interaction knowledge, directional considerations, image primitives, multiple neighbours, sketch map recognition, knowledge representation, document image processing, n-grams, prototype system, spatial constraints |
19 | Young-Kuk Kim, Sang Hyuk Son |
Supporting predictability in real-time database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 38-48, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiple predictability levels, read times, transaction processing scheme, operating environment changes, critical transaction completion guarantees, correctness criterion, predictable transaction execution, data temporal consistency, deadline miss ratio minimization, simulation, performance, real-time systems, adaptability, specifications, data integrity, software reliability, transaction processing, database theory, temporal databases, timing constraints, software performance evaluation, serializability, temporal constraints, prediction theory, real-time database systems, transaction scheduling |
19 | J. S. Lerman, Sanjeev R. Kulkarni |
Convex shape reconstruction from noisy ray probe measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 254-257, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
interference (signal), convex shape reconstruction, noisy ray probe measurements, two-dimensional convex shape, radial distances, target shape, quadratic minimization problem, computational simplicity, computational complexity, transformation, image reconstruction, minimisation, linear constraints, additive noise, coordinate system, nonlinear constraints |
19 | Xiaofei Huang, Jun Gu, Youshou Wu |
A Constrained Approach to Multifont Chinese Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(8), pp. 838-843, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
connection constraints, sampling points, multifont Chinese character recognition, constraint graph, character skeleton, position constraints, constraint-based optimization, cooperative relaxation matching algorithm, graph theory, optimisation, OCR, topology, character recognition, geometrical invariance, topological invariance |
19 | Karsten Schwan, Hongyi Zhou |
Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 736-748, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
hard real-time tasks, real-time threads, real-time multiprocessor operating system kernel, scheduling, real-time systems, computational complexity, timing constraints, dynamic scheduling, network operating systems, precedence constraints, preemptive scheduling, worst-case complexity |
19 | Luqi, Valdis Berzins, Raymond T. Yeh |
A Prototyping Language for Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(10), pp. 1409-1423, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies |
19 | Damir Isovic, Gerhard Fohler |
Handling mixed sets of tasks in combined offline and online scheduled real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 43(3), pp. 296-325, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Complex task constraints, Joint offline and online scheduling, Real-time scheduling, Sporadic tasks |
19 | Ye Zhang 0002, Torben Amtoft, Flemming Nielson |
From generic to specific: off-line optimization for a general constraint solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 45-54, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
off-line optimization, solver technology, constraints, program analysis, datalog, unification |
19 | Wei Ni, Tok Wang Ling |
Semantic validation for XML updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2008, Suwon, Korea, January 31 - February 01, 2008, pp. 151-156, 2008, ACM, 978-1-59593-993-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
XML, validation, semantic constraints |
19 | Ninghui Li, Mahesh V. Tripunitara, Ziad Bizri |
On mutually exclusive roles and separation-of-duty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 10(2), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computational complexity, verification, constraints, Role-based access control, separation-of-duty |
19 | Suguru Kawashimo, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita |
Dynamic Neighborhood Searches for Thermodynamically Designing DNA Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers, pp. 130-139, 2007, Springer, 978-3-540-77961-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
DNA Sequence Design Algorithm, Statistical Thermodynamical Constraints, Local Search |
19 | Teófilo Emídio de Campos, Ben Tordoff, David William Murray 0001 |
Recovering Articulated Pose: A Comparison of Two Pre and Postimposed Constraint Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(1), pp. 163-168, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
motion constraints, Visual tracking, articulated objects |
19 | Jing Xiao, Jinxiang Chai, Takeo Kanade |
A Closed-Form Solution to Non-Rigid Shape and Motion Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 67(2), pp. 233-246, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
non-rigid structure from motion, shape bases, rotation constraint, basis constraints, ambiguity, closed-form solution |
19 | Suguru Kawashimo, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita |
DNA Sequence Design by Dynamic Neighborhood Searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, pp. 157-171, 2006, Springer, 3-540-49024-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Combinatorial Constraints, Variable Depth Search, Local Search, Variable Neighborhood Search, DNA Sequence Design |
19 | Andrew Faulring, Brad A. Myers |
Availability bars for calendar scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 760-765, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
calendar scheduling, agents, constraints, intelligent user interfaces, visualization techniques |
19 | Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack |
Constraint-driven floorplan repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 1103-1108, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constraints, floorplanning, legalization |
19 | Joachim Niehren, Mateu Villaret |
Describing Lambda Terms in Context Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings, pp. 221-237, 2005, Springer, 3-540-25783-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
second-order unification, dominance constraints, underspecified semantics, computational linguistics |
19 | Ninghui Li, Ziad Bizri, Mahesh V. Tripunitara |
On mutually-exclusive roles and separation of duty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 42-51, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, constraints, role-based access control, separation of duty |
19 | Layuan Li, Chunlin Li 0001 |
A QoS Multicast Routing Protocol for Dynamic Group Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 980-988, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiple QoS constraints, protocol, NP-complete, QoS routing, Multicast routing |
19 | Peter A. Beerel, Ken S. Stevens, Hoshik Kim |
Relative Timing Based Verification of Timed Circuits and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester, UK, pp. 115-124, 2002, IEEE Computer Society, 0-7695-1540-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Relative Timing, Verification and Timed Circuits, Timing Constraints |
19 | Mats Carlsson, Greger Ottosson, Björn Carlson |
An Open-Ended Finite Domain Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 191-206, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains |
19 | Alexandre Goldsztejn, Claude Michel, Michel Rueher |
Efficient handling of universally quantified inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(1), pp. 117-135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Universally quantified inequalities, Branch and bound, Interval analysis |
19 | Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith |
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(4), pp. 469-505, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model redundancy, Constraint satisfaction |
19 | Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit |
Global Constraint Catalogue: Past, Present and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(1), pp. 21-62, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Graph invariant, Graph, Meta-data, Bound, Global constraint, Catalogue |
19 | Junhu Wang, Rodney W. Topor, Michael J. Maher |
Rewriting Union Queries Using Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(3), pp. 219-251, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
global schema, union query, implication constraint, contained rewriting, data integration, constraint, query, view |
19 | Agostino Dovier, Carla Piazza, Enrico Pontelli |
Disunification in ACI1 Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(1), pp. 35-91, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
disunification, ACI, complexity, sets, equational theories, CLP |
19 | Thom W. Frühwirth |
Proving Termination of Constraint Solver Programs. ![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. 298-317, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad Nauman, Sohail Khan, Xinwen Zhang |
Apex: extending Android permission model and enforcement with user-defined runtime constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010, pp. 328-332, 2010, ACM, 978-1-60558-936-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
policy framework, constraints, Android, mobile platforms |
19 | Carson Kai-Sang Leung, Boyu Hao, Dale A. Brajczuk |
Mining uncertain data for frequent itemsets that satisfy aggregate constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1034-1038, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
data mining, constraints, frequent patterns, probabilistic databases, aggregate functions |
19 | Selim Ciraci, Pim van den Broek, Mehmet Aksit |
Graph-based verification of static program constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2265-2272, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
constraint verification, program constraints, prolog, graph transformations |
19 | Radim Belohlávek, Vilém Vychodil |
Background knowledge in formal concept analysis: constraints via closure operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1113-1114, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
constraints, formal concept analysis, background knowledge |
19 | Ira Neitzel, Uwe Prüfert, Thomas Slawig |
Strategies for time-dependent PDE control with inequality constraints using an integrated modeling and simulation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 50(3), pp. 241-269, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Parabolic PDEs, Integrated modeling and simulation environments, Optimal control, Inequality constraints |
19 | Huseyin Hakkoymaz, Georgios Chatzimilioudis, Dimitrios Gunopulos, Heikki Mannila |
Applying Electromagnetic Field Theory Concepts to Clustering with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I, pp. 485-500, 2009, Springer, 978-3-642-04179-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
User Constraints, Electromagnetic Field Theory, Data Clustering |
19 | Stéphane Clinchant, Éric Gaussier |
Retrieval constraints and word frequency distributions: a log-logistic model for IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 1975-1978, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ir models, log-logistic, retrieval constraints, burstiness |
19 | Chi Zhang, Gang Wang 0001, Xiaoguang Liu 0001, Jing Liu 0010 |
Approximating Scheduling Machines with Capacity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings, pp. 283-292, 2009, Springer, 978-3-642-02269-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Approximation, Iterative Rounding, Capacity Constraints |
19 | Xueping Zhang, Jiayao Wang, Haohua Du, Tengfei Yang, Yawei Liu |
A Quantum Particle Swarm Optimization Used for Spatial Clustering with Obstacles Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009, Proceedings, pp. 424-433, 2009, Springer, 978-3-642-04019-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quantum particle swarm optimization, Spatial obstructed distance, Spatial clustering, Obstacles constraints |
19 | Stefano Melacci, Marco Maggini, Marco Gori |
Semi-supervised Learning with Constraints for Multi-view Object Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II, pp. 653-662, 2009, Springer, 978-3-642-04276-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-view object recognition, constraints, semi-supervised learning, kernel methods |
19 | Jie Mao, John Jannotti, Mert Akdere, Ugur Çetintemel |
Event-based constraints for sensornet programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Second International Conference on Distributed Event-Based Systems, DEBS 2008, Rome, Italy, July 1-4, 2008, pp. 103-113, 2008, ACM, 978-1-60558-090-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sensor networks, constraints, programming model, complex event |
19 | Xueping Zhang, Hui Yin, Hongmei Zhang, Zhongshan Fan |
Spatial Clustering with Obstacles Constraints by Hybrid Particle Swarm Optimization with GA Mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 569-578, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
K-Medoids, Mutation, Spatial clustering, Hybrid particle swarm optimization, Obstacles constraints |
19 | Didier Rémy, Boris Yakobowski |
From ML to MLF: graphic type constraints with efficient type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 63-74, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF |
19 | Daoyuan Yu, Zhengfeng Li, Shunian Yang, Zhili Yao |
The Scheduling for Press Shop Based on Operation Constraints Parallel Machine Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 936-945, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
press shop, operation constraints, scheduling, parallel machine, hybrid genetic algorithm |
19 | Clemens Thielen, Sven Oliver Krumke |
A General Scheme for Designing Monotone Algorithms for Scheduling Problems with Precedence Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAOA ![In: Approximation and Online Algorithms, 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers, pp. 105-118, 2008, Springer, 978-3-540-93979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Monotone algorithms, scheduling, precedence constraints, algorithmic mechanism design |
19 | Hideyasu Sasaki |
Strategic decision making on group collaboration under temporary constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 343-349, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
decision making theory, negotiation games, temporary constraints, decision support systems, decision making, group collaboration |
19 | Yunzhou Wu, Prashant Doshi |
Making BPEL Flexible - Adapting in the Context of Coordination Constraints Using WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (1) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 423-430, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web service, adaptive, constraints, business process execution language |
19 | Yaroslav D. Sergeyev, Dmitri E. Kvasov, Falah M. H. Khalaf |
A one-dimensional local tuning algorithm for solving GO problems with partially defined constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 1(1), pp. 85-99, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multiextremal constraints, Index scheme, Local tuning, Global optimization, Geometric algorithms |
19 | Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
Uniprocessor scheduling under precedence constraints for embedded systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(1), pp. 6:1-6:30, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design of embedded systems, Real-time scheduling, embedded software, precedence constraints |
19 | Nickolas S. Sapidis |
Geometric modeling of spatial constraints: objectives, methods and solid-modeling requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 79(2-4), pp. 337-352, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
required free-spaces, layout desgin, virtual reality, mechanical design, Solid modeling, product model, design constraints, virtual engineering |
19 | Yi Liu 0054, Rong Jin 0001, Anil K. Jain 0001 |
BoostCluster: boosting clustering by pairwise constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Jose, California, USA, August 12-15, 2007, pp. 450-459, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semi-supervised learning, boosting, data clustering, pairwise constraints |
19 | Xueping Zhang, Jiayao Wang, Zhongshan Fan, Xiaoqing Li |
A Particle Swarm Optimization Method for Spatial Clustering with Obstacles Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 367-376, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
K-Medoids Algorithm, Particle Swarm Optimization, Spatial Clustering, Obstacles Constraints |
19 | K. Robert Lai, Menq-Wen Lin, Bo-Ruei Kao |
Developing a Negotiation Mechanism for Agent-Based Scheduling Via Fuzzy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 682-692, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Scheduling, Multi-Agent Systems, Negotiation, Fuzzy Constraints |
19 | Xueping Zhang, Jiayao Wang, Mingguang Wu, Yi Cheng |
A Novel Spatial Clustering with Obstacles Constraints Based on Particle Swarm Optimization and K-Medoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings, pp. 1105-1113, 2007, Springer, 978-3-540-71700-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
K-Medoids Algorithm, Particle Swarm Optimization, Spatial Clustering, Obstacles Constraints |
19 | Gong Chen, Xindong Wu 0001, Xingquan Zhu 0001, Abdullah N. Arslan, Yu He |
Efficient string matching with wildcards and length constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 10(4), pp. 399-419, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Constraints, String matching, Wildcards |
19 | Carmel Domshlak, Steven D. Prestwich, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Hard and soft constraints for reasoning about qualitative conditional preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 12(4-5), pp. 263-285, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hard and Soft Constraints, CP-nets, Preferences |
19 | Arianna D'Ulizia, Fernando Ferri, Patrizia Grifoni, Maurizio Rafanelli |
Relaxing Constraints on GeoPQL Operators to Improve Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 17th International Conference, DEXA 2006, Kraków, Poland, September 4-8, 2006, Proceedings, pp. 728-737, 2006, Springer, 3-540-37871-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Geographical query languages, relaxing constraints, spatial operators |
19 | Francesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi |
Efficient breadth-first mining of frequent pattern with monotone constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 8(2), pp. 131-153, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Constraints, Data reduction, Frequent itemsets mining |
19 | Tim Dwyer, Yehuda Koren, Kim Marriott |
Stress Majorization with Orthogonal Ordering Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers, pp. 141-152, 2005, Springer, 3-540-31425-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
separation constraints, constrained optimization, graph layout |
19 | Hartwig H. Hochmair, Claus Rinner |
Investigating the Need for Eliminatory Constraints in the User Interface of Bicycle Route Planners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings, pp. 49-66, 2005, Springer, 3-540-28964-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Route planner, eliminatory constraints, context-based route selection, user interface design, spatial decision support |
19 | Mahat Khelfallah, Belaid Benhamou |
Two Revision Methods Based on Constraints: Application to a Flooding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 265-270, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Linear constraints, Geographic information, Revision |
19 | Roman Barták |
Dynamic Global Constraints in Backtracking Based Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 118(1-4), pp. 101-119, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic models, global constraints, filtering algorithm |
19 | Cristian Bucila, Johannes Gehrke, Daniel Kifer, Walker M. White |
DualMiner: A Dual-Pruning Algorithm for Itemsets with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 7(3), pp. 241-272, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
constraints in data mining, constrained frequent itemsets, data mining, association rules, market basket analysis |
19 | Ke Wang 0001, Yu He, Jiawei Han 0001 |
Pushing Support Constraints Into Association Rules Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(3), pp. 642-658, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data mining, constraints, Association rules, knowledge discovery, frequent itemsets |
19 | Klaus Jansen, Roberto Solis-Oba |
Approximation Algorithms for Scheduling Jobs with Chain Precedence Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 105-112, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
scheduling, Approximation algorithm, constraints, chains |
19 | Ezio Malis, Roberto Cipolla |
Camera Self-Calibration from Unknown Planar Structures Enforcing the Multiview Constraints between Collineations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 24(9), pp. 1268-1272, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
collineation, multiple views, Self-calibration, planes, nonlinear constraints |
19 | Samy Ait-Aoudia |
Numerical Solving of Geometric Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2002, London, England, UK, July 10-12, 2002, pp. 125-129, 2002, IEEE Computer Society, 0-7695-1656-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
bisection method, constraints, geometric modeling |
19 | Brad T. Vander Zanden, Richard L. Halterman |
Using model dataflow graphs to reduce the storage requirements of constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 8(3), pp. 223-265, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Class-instance model, dataflow constraints, language design and implementation, prototype-instance model, storage optimization, programming environments, graphical interfaces |
Displaying result #601 - #700 of 56690 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|