55 search results - page 7 / 11 » Efficient Detection of Conflicts in Graph-based Model Transf... |
ENTCS
2008
14 years 9 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...
CGF
2008
14 years 9 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...
ICRE
1998
IEEE
15 years 1 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...
IJCV
2000
14 years 9 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...
ICPR
2008
IEEE
15 years 3 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...