Sciweavers

5086 search results - page 372 / 1018
» The Power of Comparative Reasoning
Sort
View
ECCV
2004
Springer
16 years 3 days ago
An Information Fusion Method for the Automatic Delineation of the Bone-Soft Tissues Interface in Ultrasound Images
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...
Vincent Daanen, Jerome Tonetti, Jocelyne Troccaz
CSL
2003
Springer
15 years 12 months ago
Automata on Lempel-ziv Compressed Strings
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...
Hans Leiß, Michel de Rougemont
FCCM
2002
IEEE
109views VLSI» more  FCCM 2002»
15 years 11 months ago
Compiling ATR Probing Codes for Execution on FPGA Hardware
This paper describes the implementation of an automatic target recognition ATR Probing algorithm on a recon gurable system, using the SA-C programming language and optimizing co...
A. P. Wim Böhm, J. Ross Beveridge, Bruce A. D...
137
Voted
ICRA
1998
IEEE
110views Robotics» more  ICRA 1998»
15 years 11 months ago
A Framework for Efficient Minimum Distance Computations
In this paper we present a framework for minimum distance computations that allows efficient solution of minimum distance queries on a variety of surface representations, includin...
David E. Johnson, Elaine Cohen
AUSAI
1997
Springer
15 years 11 months ago
On the Relation between Interpreted Systems and Kripke Models
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
Alessio Lomuscio, Mark Ryan