9067 search results - page 1468 / 1814 » Adaptive Model Checking |
188
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper focuses on the development of EDDIE, a flexible low-cost emotion-display with 23 degrees of freedom. Actuators are assigned to particular action units of the facial...
200
click to vote
IV
2006
IEEE
16 years 1 months ago
2006
IEEE
Although Information Visualization claims to provide the means to induce mental models of any kind of data, the visualization of semantic information is still an open field of re...
240
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
192
click to vote
ADBIS
2006
Springer
16 years 1 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
190
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
A novel routing algorithm, namely dynamic XY (DyXY) routing, is proposed for NoCs to provide adaptive routing and ensure deadlock-free and livelock-free routing at the same time. ...