1073 search results - page 109 / 215 » Reasoning about Continuous Processes |
100
click to vote
IWINAC
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events....
109
Voted
DAGM
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
146
click to vote
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
118
click to vote
ILP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
112
Voted
JSS
2006
15 years 2 months ago
2006
Many claims have been made about the consequences of not documenting design rationale. The general perception is that designers and architects usually do not fully understand the ...