9067 search results - page 652 / 1814 » Adaptive Model Checking |
226
click to vote
CAV
2004
Springer
16 years 20 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
197
click to vote
EUROIMSA
2006
15 years 8 months ago
2006
Exaggeration is often used in art and entertainment to capture the interest and attention of an audience. We present an approach to automatically exaggerate the distinctive featur...
165
click to vote
INTETAIN
2009
Springer
16 years 1 months ago
2009
Springer
The current work presents the affective interface adaptations in the Musickiosk application. Adaptive interaction poses several open questions since there is no unique way of mappi...
155
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper introduces a novel algorithm for haptic interaction with an adaptive simulation of articulated-body dynamics. Our algorithm has a multi-threaded structure, which all...
230
Voted
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...