12697 search results - page 298 / 2540 » Call for Papers |
145
click to vote
CBMS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a full process of reconstruction of magnetic resonance images. The first step is to bring theacquired data fromthefrequencydomain,using a FastFourier Transform...
220
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a method for identifying image loci that can be used as a basis for object segmentation and image registration. The focus is on 1D and 2D shape loci in 3D image...
177
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
141
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
164
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes two approaches to the automatic generation of behavioral VHDL models from descriptions written in natural language. Both approaches are based on a modeling st...