5898 search results - page 970 / 1180 » Parallel Computing Environments and Methods |
154
Voted
ACMACE
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we propose a new method to edit captured human motion data by using the data glove. The animator first wears a glove and mimics the human body motion observed in t...
129
Voted
ICIP
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a method for estimating the point of fixation of an air traffic controller from a low resolution video sequence. A geometric model of the head is used to estimate hea...
133
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
134
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
169
Voted
CARDIS
2006
Springer
15 years 7 months ago
2006
Springer
Massively deploying RFID systems while preserving people's privacy and data integrity is a major security challenge of the coming years. Up to now, it was commonly believed th...