1509 search results - page 295 / 302 » Tracking Real-Time Systems Requirements |
ICIP
1999
IEEE
15 years 11 months ago
1999
IEEE
This contribution addresses the problem of obtaining photorealistic 3D models of a scene from images alone with a structure-from-motion approach. The 3D scene is observed from mul...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
HPCA
2003
IEEE
15 years 10 months ago
2003
IEEE
Increasing focus on power dissipation issues in current microprocessors has led to a host of proposals for clock gating and other power-saving techniques. While generally effectiv...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
PERCOM
2003
ACM
15 years 9 months ago
2003
ACM
A mobile ad-hoc network is an autonomous system of mobile routers that are self-organizing and completely decentralized with no requirements for dedicated infrastructure support. ...