11374 search results - page 203 / 2275 » A System Demonstration of ST-TCP |
164
click to vote
CC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
140
click to vote
IWCIA
2004
Springer
15 years 12 months ago
2004
Springer
Using stereo vision in the field of mapping and localization is an intuitive idea, as demonstrated by the number of animals that have developed the ability. Though it seems logica...
138
click to vote
NAACL
2007
15 years 8 months ago
2007
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...
160
click to vote
ANLP
1997
15 years 7 months ago
1997
We describe a novel technique and implemented system for constructing a subcategorization dictionary from textual corpora. Each dictionary entry encodes the relative frequency of ...
135
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper describes an integrated system for building a multiplanar model of the scene as the camera is localized on the fly. The core of this system is a robust and accurate pr...