976 search results - page 86 / 196 » The Complexity of Timetable Construction Problems |
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
Compared to a geometric approach, image based rendering applied to 3D view reconstruction doesn't require 3D model construction and doesn't depend on the complexity of t...
ISSAC
2007
Springer
14 years 3 months ago
2007
Springer
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
ICSE
2003
IEEE-ACM
14 years 2 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
ATAL
2006
Springer
14 years 23 days ago
2006
Springer
Deciding what to branch on at each node is a key element of search algorithms. We present four families of methods for selecting what question to branch on. They are all informati...