5863 search results - page 326 / 1173 » An evaluation of the TRIPS computer system |
199
click to vote
CSEE
1999
Springer
15 years 11 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
157
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
191
click to vote
ACL
2010
15 years 4 months ago
2010
We challenge the NLP community to participate in a large-scale, distributed effort to design and build resources for developing and evaluating solutions to new and existing NLP ta...
162
click to vote
COLING
2010
15 years 1 months ago
2010
We use robust and fast Finite-State Machines (FSMs) to solve scriptural translation problems. We describe a phonetico-morphotactic pivot UIT (universal intermediate transcription)...
189
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper describes a real-time computer vision system for tracking people in monocular video sequences. The system tracks people as they move through the camera's field of ...