Sciweavers

1933 search results - page 161 / 387
» A Dynamic Theory of Ontology
Sort
View
CGI
2006
IEEE
14 years 3 months ago
Quasi-physical Simulation of Large-Scale Dynamic Forest Scenes
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
Long Zhang, Chengfang Song, Qifeng Tan, Wei Chen, ...
ICNP
2005
IEEE
14 years 2 months ago
On Static and Dynamic Partitioning Behavior of Large-Scale Networks
In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node failure affec...
Derek Leonard, Zhongmei Yao, Xiaoming Wang, Dmitri...
ATAL
2005
Springer
14 years 2 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
ARITH
2003
IEEE
14 years 2 months ago
SRT Division Algorithms as Dynamical Systems
SRT division, as it was discovered in the late 1950s represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division ...
Mark McCann, Nicholas Pippenger
HPCA
2002
IEEE
14 years 2 months ago
Control-Theoretic Techniques and Thermal-RC Modeling for Accurate and Localized Dynamic Thermal Management
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
Kevin Skadron, Tarek F. Abdelzaher, Mircea R. Stan