1981 search results - page 323 / 397 » Model-Checking Hierarchical Structures |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
SG
2009
Springer
14 years 3 months ago
2009
Springer
TagClouds is a popular visualization for the collaborative tags. However it has some instinct problems such as linguistic issues, high semantic density and poor understanding of hi...
MM
2009
ACM
14 years 3 months ago
2009
ACM
Progressive mesh streaming is increasingly used in 3D networked applications, such as online games, virtual worlds, and digital museums. To scale such applications to a large numb...
ACSC
2008
IEEE
14 years 3 months ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...