Sciweavers

3814 search results - page 233 / 763
» Operating system support for multimedia systems
Sort
View
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
16 years 6 days ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek
166
Voted
CGA
2008
15 years 6 months ago
Virtual Inspector: A Flexible Visualizer for Dense 3D Scanned Models
The rapid evolution of automatic shape acquisition technologies will make huge amount of sampled 3D data available in the near future. Cultural Heritage (CH) domain is one of the ...
Marco Callieri, Federico Ponchio, Paolo Cignoni, R...
MM
2010
ACM
189views Multimedia» more  MM 2010»
15 years 6 months ago
Changing characters' point of view in interactive storytelling
Virtual characters are at the epicentre of Interactive Storytelling systems and in recent years multiple AI planning approaches have been described to specify their autonomous beh...
Fred Charles, Julie Porteous, Marc Cavazza

Book
688views
17 years 4 months ago
Database Management Systems
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
Raghu Ramakrishnan, Johannes Gehrke
LFCS
2007
Springer
16 years 9 days ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer