2313 search results - page 189 / 463 » On Heuristic Time Hierarchies |
162
click to vote
MIG
2010
Springer
15 years 5 months ago
2010
Springer
In computer games, one or more groups of units need to move from one location to another as quickly as possible. If there is only one group, then it can be solved efficiently as a ...
200
click to vote
EOR
2007
15 years 6 months ago
2007
A well known industry application that allows controllable processing times is the manufacturing operations on CNC machines. For each turning operation as an example, there is a n...
145
click to vote
IJPP
2007
15 years 6 months ago
2007
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
161
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a novel technique for the recognition of complex human gestures for video annotation using accelerometers and the hidden Markov model. Our extension to the standard hid...
163
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...