Sciweavers

10406 search results - page 1811 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
PODC
1990
ACM
15 years 9 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
CGI
2004
IEEE
15 years 8 months ago
Point Set Surface Editing Techniques Based on Level-Sets
In this paper we articulate a new modeling paradigm for both local and global editing on complicated point set surfaces of arbitrary topology. In essence, the proposed technique l...
Xiaohu Guo, Jing Hua, Hong Qin
DEBS
2010
ACM
15 years 8 months ago
Magnet: practical subscription clustering for Internet-scale publish/subscribe
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...
Sarunas Girdzijauskas, Gregory Chockler, Ymir Vigf...
GECCO
2007
Springer
217views Optimization» more  GECCO 2007»
15 years 6 months ago
A quantitative analysis of memory requirement and generalization performance for robotic tasks
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
DaeEun Kim
IE
2007
15 years 6 months ago
Dramatic flow in interactive 3D narrative
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
Alyx Macfadyen, Andrew Stranieri, John Yearwood
« Prev « First page 1811 / 2082 Last » Next »