3174 search results - page 155 / 635 » An Exploration of the Permanent-Determinant Method |
147
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
On a moving vehicle, speedy motion extraction from video is demanded. Different from the traditional motion estimation methods that track or match 2D features in consecutive motio...
160
click to vote
IROS
2008
IEEE
16 years 28 days ago
2008
IEEE
— The desire for a high mobility-to-size ratio in mobile robots has led to the exploration of many new methods of locomotion, one of which is tumbling. To the authors’ knowledg...
176
click to vote
SIBGRAPI
2007
IEEE
16 years 24 days ago
2007
IEEE
Cell segmentation is a challenging problem due to both the complex nature of the cells and the uncertainty present in video microscopy. Manual methods for this purpose are onerous...
146
click to vote
FMCAD
2007
Springer
16 years 21 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
182
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...