1604 search results - page 172 / 321 » Development Separation in Lambda-Calculus |
135
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
A practical lipreading system can be considered either as subject dependent (SD) or subject-independent (SI). An SD system is user-specific, i.e., customized for some particular ...
131
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—The subject of this work is the patrolling of an environment with the aid of a team of autonomous agents. We consider both the design of open-loop trajectories with optimal prop...
182
click to vote
TSE
2011
14 years 10 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
135
click to vote
IEEEVAST
2010
14 years 10 months ago
2010
Text visualization becomes an increasingly more important research topic as the need to understand massive-scale textual information is proven to be imperative for many people and...
126
click to vote
HCI
2011
14 years 6 months ago
2011
: This work, a collaboration between Alstom Transport and the MIT Humans and Automation Laboratory (HAL), is focused on the development of an interactive in-cab scheduling interfac...