11374 search results - page 377 / 2275 » Demonstration of the CROSSMARC System |
193
click to vote
JLP
2008
15 years 7 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
242
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
In a spoken dialog system, determining which action a machine should take in a given situation is a difficult problem because automatic speech recognition is unreliable and hence ...
154
click to vote
SCL
2008
15 years 7 months ago
2008
This paper considers time-varying uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set. This set consists of the initial ...
200
click to vote
SIGOPS
2008
15 years 7 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
183
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...