14348 search results - page 2450 / 2870 » Active Database Systems |
181
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
192
click to vote
DIS
2010
Springer
15 years 4 months ago
2010
Springer
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
221
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
232
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- We deal with the problem of detecting and identifying body parts in depth images at video frame rates. Our solution involves a novel interest point detector for mesh and...
185
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
In the last few years, the application of ICT technologies in automotive field has taken an increasing role in improving both the safety and the driving comfort. In this context, s...