Sciweavers

3694 search results - page 234 / 739
» Understanding experience in interactive systems
Sort
View
LICS
2012
IEEE
13 years 9 months ago
Logics of Dynamical Systems
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
André Platzer
CISIS
2010
IEEE
15 years 10 months ago
A Pattern-Based Coordination and Test Framework for Multi-Agent Simulation of Production Automation Systems
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
Thomas Moser, Munir Merdan, Stefan Biffl
AICOM
2002
103views more  AICOM 2002»
15 years 6 months ago
The emergent computational potential of evolving artificial living systems
The computational potential of artificial living systems can be studied without knowing the algorithms that govern their behavior. Modeling single organisms by means of socalled c...
Jirí Wiedermann, Jan van Leeuwen
IJVR
2006
63views more  IJVR 2006»
15 years 6 months ago
A Hierarchical 3D Data Rendering System Synchronized with HTML
We propose a new rendering system for large-scale, 3D geometic data that can be used with web-based content man-agement systems (CMS). To achieve this, we employed a geometry hiera...
Yousuke Kimura, Tomohiro Mashita, Atsushi Nakazawa...
ICAT
2006
IEEE
16 years 16 days ago
Hierarchical 3D Data Rendering System Synchronizing with HTML
Abstract. We propose a new rendering system for large-scale, 3D geometic data that can be used with web-based content management systems (CMS). To achieve this, we employed a geome...
Yousuke Kimura, Tomohiro Mashita, Atsushi Nakazawa...