8025 search results - page 114 / 1605 » Combinators Introduction: An Algorithm |
142
Voted
NLDB
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A large amount of biological knowledge today is only available from full-text research papers. Since neither manual database curators nor users can keep up with the rapid...
102
Voted
3DIM
2003
IEEE
15 years 7 months ago
2003
IEEE
In order to create a complete three-dimensional model of an object based on its two-dimensional images, the images have to be acquired from different views. An increasing number o...
145
click to vote
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
The recognition of script in historical documents requires suitable techniques in order to identify single words. Segmentation of lines and words is a challenging task because lin...
123
click to vote
PG
2002
IEEE
15 years 6 months ago
2002
IEEE
The acquisition of human motion data is of major importance for creating interactive virtual environments, intelligent user interfaces, and realistic computer animations. Today’...
131
click to vote
FMCAD
1998
Springer
15 years 6 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...