207 search results - page 31 / 42 » Testing Transition Systems with Input and Output Testers |
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper describes the design of a motion control algorithm for a humanoid robotic head, which consists of a neck with four degrees of freedom and two eyes (a stereo pair sys...
ISI
2004
Springer
14 years 27 days ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
DAS
2006
Springer
13 years 11 months ago
2006
Springer
Handwritten essays are widely used in educational assessments, particularly in classroom instruction. This paper concerns the design of an automated system for performing the task ...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
MouseLight is a spatially-aware standalone mobile projector with the form factor of a mouse that can be used in combination with digital pens on paper. By interacting with the pro...
LREC
2008
13 years 9 months ago
2008
We present TextPro, a suite of modular Natural Language Processing (NLP) tools for analysis of Italian and English texts. The suite has been designed so as to integrate and reuse ...