2989 search results - page 548 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
CF
2005
ACM
14 years 11 months ago
2005
ACM
Microprocessor trends are moving towards wider architectures and more aggressive speculation. With the increasing transistor budgets, energy consumption has become a critical desi...
112
click to vote
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
LREC
2008
14 years 11 months ago
2008
The ultimate goal when building dialogue systems is to satisfy the needs of real users, but quality assurance for dialogue strategies is a non-trivial problem. The applied evaluat...
MIE
2008
14 years 11 months ago
2008
: This paper describes foundational work investigating the protection requirements of sensitive medical information, which is being stored more routinely in repository systems for ...