2487 search results - page 122 / 498 » cases 2009 |
112
click to vote
VRCAI
2009
ACM
15 years 7 months ago
2009
ACM
Nowadays, several techniques exist to render digital content such as graphics, audio, haptic, etc. Unfortunately, they require different faculties that cannot always be applied, e...
94
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
102
Voted
DAGM
2009
Springer
15 years 7 months ago
2009
Springer
The human ability to learn difficult object categories from just a few views is often explained by an extensive use of knowledge from related classes. In this work we study the use...
68
Voted
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
101
Voted
FASE
2009
Springer
15 years 5 months ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...