64 search results - page 10 / 13 » Clarkson's Algorithm for Violator Spaces |
126
click to vote
TACAS
2009
Springer
15 years 10 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īŦ...
122
Voted
IUI
2010
ACM
15 years 10 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...
125
Voted
SPIN
2004
Springer
15 years 8 months 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...
110
Voted
ASPDAC
2004
ACM
15 years 8 months 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...
145
click to vote
CVPR
2010
IEEE
15 years 8 months 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 ...