399 search results - page 50 / 80 » Scene Modeling Based on Constraint System Decomposition Tech... |
117
click to vote
3DPVT
2002
IEEE
15 years 4 months ago
2002
IEEE
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
We introduce a new concept for accelerating realistic image synthesis algorithms. At the core of this procedure is a novel physical error metric that correctly predicts the percep...
ICN
2009
Springer
14 years 9 months ago
2009
Springer
Impulse Radio Ultra Wide Band (IR-UWB) is a promising technology to address Wireless Sensor Network (WSN) constraints. However, existing network simulation tools do not provide a ...
103
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
103
click to vote
CODES
2008
IEEE
14 years 12 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...