55 search results - page 7 / 11 » Efficient Detection of Conflicts in Graph-based Model Transf... |
139
Voted
ENTCS
2008
15 years 3 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
141
Voted
CGF
2008
15 years 3 months ago
2008
Although considerable attention in recent years has been given to the problem of symmetry detection in general shapes, few methods have been developed that aim to detect and quant...
137
Voted
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
145
Voted
IJCV
2000
15 years 3 months ago
2000
This paper presents a general, trainable system for object detection in unconstrained, cluttered scenes. The system derives much of its power from a representation that describes a...
121
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a novel method for detecting multiple moving targets in real-time from infrared (IR) image sequences collected by an airborne IR camera. This novel method is b...