260 search results - page 28 / 52 » Range and Set Abstraction using SAT |
TMM
2011
13 years 2 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. Multi-sampled imaging is a general framework for using pixels on an image detector to simultaneously sample multiple dimensions of imaging (space, time, spectrum, brightn...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
IJCAI
2003
13 years 9 months ago
2003
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
BIOSTEC
2008
13 years 9 months ago
2008
Abstract. The wavelet transform is a widely used pre-filtering step for subsequent R spike detection by thresholding of the coefficients. The time-frequency decomposition is indeed...