64 search results - page 10 / 13 » Clarkson's Algorithm for Violator Spaces |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inīŦ...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
Soft keyboards offer touch-capable mobile and tabletop devices many advantages such as multiple language support and space for larger graphical displays. On the other hand, becaus...
SPIN
2004
Springer
14 years 25 days ago
2004
Springer
The MurĪ-based Hopper tool is a general purpose explicit model checker. Hopper leverages MurĪâs class structure to implement new algorithms. Hopper differs from MurĪ in that i...
ASPDAC
2004
ACM
14 years 27 days ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconīŦgurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
CVPR
2010
IEEE
14 years 45 min ago
2010
IEEE
In the segmentation of natural images, most algorithms rely on the concept of occlusion. In x-ray images, however, this assumption is violated, since x-ray photons penetrate most ...