Sciweavers

7335 search results - page 1055 / 1467
» Scene Based Reasoning
Sort
View
JSAT
2006
108views more  JSAT 2006»
15 years 6 months ago
Translating Pseudo-Boolean Constraints into SAT
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
Niklas Eén, Niklas Sörensson
ESWA
2007
131views more  ESWA 2007»
15 years 6 months ago
Case-based selection of initialisation heuristics for metaheuristic examination timetabling
Examination timetabling problems are often solved by a two-phase procedure combining a sequential construction heuristic with a metaheuristic improvement search. There can be many...
Sanja Petrovic, Yong Yang, Moshe Dror
MSCS
2006
54views more  MSCS 2006»
15 years 6 months ago
Quasi-metric spaces and point-free geometry
nded abstract of a paper published on Math. Struct. in Comp. Science, 16 (2006) 115-137) Anna Di Concilio and Giangiacomo Gerla Dipartimento di Matematica e Informatica, Via Ponte...
Anna Di Concilio, Giangiacomo Gerla
PAMI
2008
188views more  PAMI 2008»
15 years 6 months ago
Segmentation and Tracking of Multiple Humans in Crowded Environments
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...
Tao Zhao, Ramakant Nevatia, Bo Wu
SOCO
2008
Springer
15 years 6 months ago
Software development with imperfect information
Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect informat...
Joost Noppen, Pim van den Broek, Mehmet Aksit
« Prev « First page 1055 / 1467 Last » Next »