2214 search results - page 129 / 443 » complexity 2004 |
ASE
2004
13 years 10 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
BC
2004
13 years 10 months ago
2004
We propose that a top priority of the cerebral cortex must be the discovery and explicit representation of the environmental variables that contribute as major factors to environme...
CG
2004
Springer
13 years 10 months ago
2004
Springer
This paper describes a new virtual reality system designed to be small enough to be totally portable. It is a semiimmersive interaction system based on a movable stereoscopic proj...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
We propose a model for the World Wide Web graph that couples the topological growth with the traffic's dynamical evolution. The model is based on a simple traffic-driven dynam...
CSCW
2004
ACM
13 years 10 months ago
2004
ACM
In their cooperative effort, architects depend critically on elaborate coordinative practices and artifacts. The article presents, on the basis of an in-depth study of architectura...