422 search results - page 48 / 85 » Incremental Detection of Model Inconsistencies Based on Mode... |
116
click to vote
EUROCAST
1997
Springer
15 years 1 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
107
click to vote
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Contours and junctions are important cues for perceptual organization and shape recognition. Detecting junctions locally has proved problematic because the image intensity surface...
CIA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...