4098 search results - page 665 / 820 » Sound mobility models |
144
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
153
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
149
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
144
click to vote
SIGGRAPH
1995
ACM
15 years 8 months ago
1995
ACM
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly...
155
click to vote
TRECVID
2008
15 years 5 months ago
2008
This paper presents our experiments on TRECVID workshop 2008. This year we participated in two challenging tasks, rushes video summarisation and video copy detection tasks. We stu...