6756 search results - page 1329 / 1352 » The Structure of Visual Spaces |
104
click to vote
AAAI
2006
15 years 3 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
147
click to vote
AIA
2006
15 years 3 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
133
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
104
click to vote
IQ
2001
15 years 3 months ago
2001
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
151
click to vote
OPODIS
2004
15 years 3 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...