1509 search results - page 295 / 302 » Tracking Real-Time Systems Requirements |
ICIP
1999
IEEE
14 years 9 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
14 years 8 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
14 years 8 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
14 years 7 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
14 years 7 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. ...