1380 search results - page 106 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
HCW
1998
IEEE
14 years 2 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
DSD
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
UAI
1998
13 years 11 months ago
1998
The process of diagnosis involves learning about the state of a system from various observations of symptoms or findings about the system. Sophisticated Bayesian (and other) algor...
SAC
2006
ACM
14 years 4 months ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
HCI
2007
13 years 11 months ago
2007
This contribution presents our approach for an instrumented automatic gesture recognition system for use in Augmented Reality, which is able to differentiate static and dynamic ges...