7121 search results - page 347 / 1425 » Functions as Session-Typed Processes |
193
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We aim to improve the accuracy of handwritten Chinese character recognition using two advanced techniques: discriminative feature extraction (DFE) and discriminative learning quad...
163
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a RTR FPGA embedded in a System on Chip fabricated in 130nm CMOS process. Various aspects of the design flow, from automation to floor-planning are discussed. ...
172
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
184
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We propose an original approach for the segmentation of three-dimensional fields of probability density functions. This presents a wide range of applications in medical images proc...
181
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, a new framework for brain warping via landmark matching is proposed using implicit representations or the level set method. We demonstrate this powerful technique b...