4401 search results - page 488 / 881 » Computing with Default Logic |
180
click to vote
ECCV
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
272
click to vote
FIDJI
2004
Springer
16 years 8 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
163
click to vote
PPSN
2004
Springer
16 years 7 days ago
2004
Springer
An automatic traffic sign detection system would be important in a driver assistance system. In this paper, an approach for detecting numbers on speed limit signs is proposed. Suc...
174
click to vote
RTA
2004
Springer
16 years 7 days ago
2004
Springer
The problem of selecting nodes in unranked trees is the most basic querying problem for XML. We propose stepwise tree automata for querying unranked trees. Stepwise tree automata c...
167
click to vote
DAC
2003
ACM
16 years 4 days ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...