422 search results - page 48 / 85 » Incremental Detection of Model Inconsistencies Based on Mode... |
172
Voted
EUROCAST
1997
Springer
15 years 7 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...
127
Voted
COMPSAC
2004
IEEE
15 years 7 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...
195
Voted
CVPR
2008
IEEE
16 years 5 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...
133
Voted
CIA
2007
Springer
15 years 10 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...
126
Voted
SPIN
2009
Springer
15 years 10 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’...