6434 search results - page 779 / 1287 » Model Transformations with Reference Models |
179
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
154
click to vote
PAMI
2008
15 years 6 months ago
2008
Multibiometric systems fuse information from different sources to compensate for the limitations in performance of individual matchers. We propose a framework for optimal combinati...
170
click to vote
TOG
2008
15 years 6 months ago
2008
We introduce a new representation for video which facilitates a number of common editing tasks. The representation has some of the power of a full reconstruction of 3D surface mod...
194
Voted
TWC
2008
15 years 6 months ago
2008
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
154
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we propose an image-based texture model called IlluminationDependent Texture(IDT), for realisticly rendering objects covered with 3D texture under low-frequency ill...