Sciweavers

39 search results - page 1 / 8
» Global Constraint Catalogue: Past, Present and Future
Sort
View
CONSTRAINTS
2007
92views more  CONSTRAINTS 2007»
13 years 4 months ago
Global Constraint Catalogue: Past, Present and Future
Abstract. The catalogue of global constraints is reviewed, focusing on the graph-based description of global constraints. A number of possible enhancements are proposed as well as ...
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...
CVPR
2012
IEEE
11 years 7 months ago
Bridging the past, present and future: Modeling scene activities from event relationships and global rules
This paper addresses the discovery of activities and learns the underlying processes that govern their occurrences over time in complex surveillance scenes. To this end, we propos...
Jagannadan Varadarajan, Rémi Emonet, Jean-M...
COMPSAC
2004
IEEE
13 years 8 months ago
Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...
Peng Li, Binoy Ravindran, E. Douglas Jensen
SEFM
2006
IEEE
13 years 10 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
CICLING
2008
Springer
13 years 6 months ago
Arabic/English Multi-document Summarization with CLASSY - The Past and the Future
Abstract. Automatic document summarization has become increasingly important due to the quantity of written material generated worldwide. Generating good quality summaries enables ...
Judith D. Schlesinger, Dianne P. O'Leary, John M. ...