780 search results - page 55 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
AMS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper describes the extension of a behaviour-based control system for autonomous outdoor navigation. To perform robust obstacle avoidance the existing stereo vision ...
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...
JAIR
2008
13 years 9 months ago
2008
In order for agents to act on behalf of users, they will have to retrieve and integrate vast amounts of textual data on the World Wide Web. However, much of the useful data on the...
ICDE
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract— Collected data often contains uncertainties. Probabilistic databases have been proposed to manage uncertain data. To combine data from multiple autonomous probabilistic...