696 search results - page 57 / 140 » Explaining abstract counterexamples |
137
click to vote
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
109
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
98
Voted
ISI
2007
Springer
15 years 9 months ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...
110
Voted
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
—Job monitoring in Grid systems presents an important challenge due to Grid environments are volatile, heterogeneous, not reliable and are managed by different middlewares and mo...
138
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...