Sciweavers

1090 search results - page 60 / 218
» Problem Dependent Generalized Prewavelets
Sort
View
CAV
2011
Springer
216views Hardware» more  CAV 2011»
13 years 23 days ago
Malware Analysis with Tree Automata Inference
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
Domagoj Babic, Daniel Reynaud, Dawn Song
PLDI
2011
ACM
13 years 18 hour ago
Data representation synthesis
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
IROS
2007
IEEE
157views Robotics» more  IROS 2007»
14 years 3 months ago
View-adaptive manipulative action recognition for robot companions
— This paper puts forward an approach for a mobile robot to recognize the human’s manipulative actions from different single camera views. While most of the related work in act...
Zhe Li, Sven Wachsmuth, Jannik Fritsch, Gerhard Sa...
VEE
2012
ACM
222views Virtualization» more  VEE 2012»
12 years 4 months ago
Unpicking the knot: teasing apart VM/application interdependencies
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
Yi Lin, Stephen M. Blackburn, Daniel Frampton
ICCV
2001
IEEE
14 years 11 months ago
Structure and Motion from Silhouettes
This paper addresses the problem of recovering structure and motion from silhouettes. Silhouettes are projections of contour generators which are viewpoint dependent, and hence do...
Kwan-Yee Kenneth Wong, Roberto Cipolla