3317 search results - page 211 / 664 » Strategies in Rigid-Variable Methods |
151
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
178
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
178
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Recent work shows that the memory requirements of bestfirst heuristic search can be reduced substantially by using a divide-and-conquer method of solution reconstruction. We show...
161
click to vote
MICAI
2004
Springer
15 years 12 months ago
2004
Springer
Image metamorphosis, commonly known as morphing, is a powerful tool for visual effects that consists of the fluid transformation of one digital image into another. There are many t...
148
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
Designing new interactive experiences requires effective methods for sensing human activities. In this paper we propose new sensor architecture based on tracking changes in resona...