2407 search results - page 407 / 482 » A Tool for Abstraction in Model Checking |
TITS
2002
14 years 9 months ago
2002
Abstract-This paper presents algorithms for vision-based detection and classification of vehicles in monocular image sequences of traffic scenes recorded by a stationary camera. Pr...
PKDD
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We present an automated tool with a web interface for tracking the prevalence of Influenza-like Illness (ILI) in several regions of the United Kingdom using the contents...
ICUMT
2009
14 years 7 months ago
2009
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...
184
click to vote
ISBMS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Dental implantology procedures are among the most complex surgical procedures executed by dentists. During the critical part of the procedure, the jawbone is drilled at t...
SOFSEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...