11436 search results - page 431 / 2288 » Modeling Real Reasoning |
139
click to vote
JMLR
2010
15 years 3 months ago
2010
How can we generate realistic networks? In addition, how can we do so with a mathematically tractable model that allows for rigorous analysis of network properties? Real networks ...
153
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
137
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
150
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
131
Voted
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...