419 search results - page 78 / 84 » Automatic Synthesis of Real Time Systems |
115
click to vote
ISMAR
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the key requirements of augmented reality systems is a robust real-time camera pose estimation. In this paper we present a robust approach, which does neither depend on ofï...
103
click to vote
CPHYSICS
2007
14 years 11 months ago
2007
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
100
click to vote
VLSID
2007
IEEE
16 years 3 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
129
click to vote
MM
2006
ACM
15 years 5 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...