1295 search results - page 139 / 259 » informs 1998 |
207
click to vote
CAPTECH
1998
Springer
15 years 8 months ago
1998
Springer
A method for matching sequences from two perspective views of a moving person silhouette is presented. Regular (approximate uniform thickness) parts are detected on an image and a ...
136
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
117
click to vote
PADS
1998
ACM
15 years 8 months ago
1998
ACM
A considerable amount of effort in the DIS community has been devoted to developing efficient, scaleable, mechanisms for distributing state updates and interaction information in ...
147
click to vote
COBUILD
1998
Springer
15 years 8 months ago
1998
Springer
: New forms of communication and co-operation do not have the same environmental impact pattern as current forms of work. Environmental impacts are produced by work technologies (m...
138
click to vote
COBUILD
1998
Springer
15 years 8 months ago
1998
Springer
Traditional graphical user interfaces (GUIs) are mainly designed for an environment consisting of a single display and a set of single input devices. However, in the near future we...