1866 search results - page 372 / 374 » Dynamic instantiation-checking components |
107
click to vote
SIGARCH
2008
14 years 11 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
108
click to vote
SIMPRA
2008
14 years 11 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
115
Voted
SYNTHESE
2008
14 years 11 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
106
click to vote
TCSV
2008
14 years 11 months ago
2008
Abstract--Various 3-D face synthesis techniques have been proposed and extensively used in many applications. Compared with others, single view-based face synthesis technology allo...
105
Voted
TOG
2008
14 years 11 months ago
2008
We present a real-time algorithm called compensated ray marching for rendering of smoke under dynamic low-frequency environment lighting. Our approach is based on a decomposition ...