3555 search results - page 160 / 711 » Security-Critical System Development with Extended Use Cases |
170
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
156
click to vote
MUC
1992
15 years 7 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
126
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
138
click to vote
IVEVA
2004
15 years 5 months ago
2004
This paper presents ongoing research on human-computer interaction in virtual environments using voice recognition systems. The paper starts describing voice recognition technologi...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...