557 search results - page 106 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
107
click to vote
BIS
2009
14 years 10 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
Real-time transit tracking is gaining popularity as a means for transit agencies to improve the rider experience. However, many transit agencies lack either the funding or initiat...
DLOG
2009
14 years 7 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
104
click to vote
ER
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
PREMI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents an architecture that enables the recognizer to learn incrementally and, thereby adapt to document image collections for performance improvement. We ar...