312 search results - page 22 / 63 » iis 2004 |
CAISE
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. This paper presents the design philosophy of activity-based computing (ABC), which addresses mobility and cooperation in human work activities. Furthermore, it presents t...
ECCV
2004
Springer
14 years 28 days ago
2004
Springer
We describe a novel method for human detection in single images which can detect full bodies as well as close-up views in the presence of clutter and occlusion. Humans are modeled ...
ESA
2004
Springer
14 years 28 days ago
2004
Springer
We obtain the following results related to dynamic versions of the shortest-paths problem: (i) Reductions that show that the incremental and decremental singlesource shortest-paths...
FORMATS
2004
Springer
14 years 28 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
FPL
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. This paper focuses on a class of problem relating to the multiplication of a single number by several coefficients that, while not constant, are drawn from a finite set ...