1355 search results - page 198 / 271 » Alternating Timed Automata over Bounded Time |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Malicious mobile phone worms spread between devices via short-range Bluetooth contacts, similar to the propagation of human and other biological viruses. Recent work has employed m...
STOC
2006
ACM
14 years 8 months ago
2006
ACM
d Abstract] Dana Angluin James Aspnes Jiang Chen Yinghua Wu We propose a new model for exact learning of acyclic circuits using experiments in which chosen values may be assigned ...
ISAAC
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Fast algorithms for arithmetic on real or complex polynomials are wellknown and have proven to be not only asymptotically efficient but also very practical. Based on Fas...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
We present an algorithm that recognizes objects of a given category using a small number of hand segmented images as references. Our method first over segments an input image into...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We present an algorithm and the associated capture methodology to acquire and track the detailed 3D shape, bends, and wrinkles of deforming surfaces. Moving 3D data has been diffi...