Sciweavers

2001 search results - page 214 / 401
» Dynamic Materialized Views
Sort
View
SI3D
2006
ACM
15 years 10 months ago
Approximate ambient occlusion for trees
Natural scenes contain large amounts of geometry, such as hundreds of thousands or even millions of tree leaves and grass blades. Subtle lighting effects present in such environme...
Kyle Hegeman, Simon Premoze, Michael Ashikhmin, Ge...
COORDINATION
2006
Springer
15 years 7 months ago
Evolution On-the-Fly with Paradigm
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
Luuk Groenewegen, Erik P. de Vink
JELIA
2000
Springer
15 years 7 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
AMAST
2010
Springer
14 years 11 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
Prakash Panangaden, Mehrnoosh Sadrzadeh
ICMCS
2007
IEEE
122views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Generating Video Sequence from Photo Image for Mobile Screens by Content Analysis
To bridge the gap between the high resolution digital images and limited display capability of mobile devices, this paper proposes a method to automatically transform static image...
Shuqiang Jiang, Huiying Liu, Zhao Zhao, Qingming H...