3799 search results - page 453 / 760 » An Engineering Approach to Formal Methods |
198
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
187
Voted
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Similarity search in time series databases usually deals with comparing entire time series objects or subsequence search. In this paper, we formalize the notion of interval-focused...
170
click to vote
ICSNC
2007
IEEE
16 years 1 months ago
2007
IEEE
This article presents a new trend in computerized medical image analysis of breast cancer features, existing in mammograms (grey scale 2D images), based on recent approaches of th...
163
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
164
Voted
IPCCC
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...