Sciweavers

4340 search results - page 638 / 868
» Formal Methods and Cryptography
Sort
View
MVA
2007
156views Computer Vision» more  MVA 2007»
15 years 6 months ago
A system for articulated tracking incorporating a clothing model
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
Bodo Rosenhahn, Uwe G. Kersting, Katie Powell, Rei...
RE
2008
Springer
15 years 6 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
BIRTHDAY
2010
Springer
15 years 5 months ago
Second-Order Programs with Preconditions
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
Markus Aderhold
ICASSP
2010
IEEE
15 years 5 months ago
Unidirectional graph-based wavelet transforms for efficient data gathering in sensor networks
We design lifting-based wavelet transforms for any arbitrary communication graph in a wireless sensor network (WSN). Since transmitting raw data bits along the routing trees in WS...
Sunil K. Narang, Godwin Shen, Antonio Ortega
MTA
2010
118views more  MTA 2010»
15 years 5 months ago
A computation-oriented multimedia data streams model for content-based information retrieval
: Multimedia applications nowadays are becoming prevalent. In the past the relational database model was generalized to the multimedia database model. More recently the relational ...
Shi-Kuo Chang, Lei Zhao, Shenoda Guirguis, Rohit K...