2838 search results - page 304 / 568 » Verifying Controlled Components |
MM
2005
ACM
15 years 8 months ago
2005
ACM
We propose a new workload-scalable audio decoding scheme that would enable users to control the tradeoff between playback quality and power consumption in battery-powered portable...
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper introduces JHDLBits, the integration of two prominent FPGA design tools: JHDL and JBits. JHDLBits offers the low-level access and control provided by JBits wi...
69
Voted
MHCI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we describe a study that examines human performance in a tilt control targeting task on a PDA. A three-degree of freedom accelerometer attached to the base of the PDA...
UIALL
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we discuss the adaptive User Model component of the AthosMail system, and describe especially the Cooperativity Model which produces recommendations for the appropria...
119
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
Adversarial multi-robot problems, where teams of robots compete with one another, require the development of approaches that span all levels of control and integrate algorithms ra...