Sciweavers

1369 search results - page 91 / 274
» Graphical Design of Reactive Systems
Sort
View
SIGSOFT
2007
ACM
16 years 3 months ago
Symbolic message sequence charts
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
ATAL
2008
Springer
15 years 5 months ago
Extending agent languages for autonomy
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
Felipe Rech Meneguzzi
AAAI
1997
15 years 4 months ago
Using a Robot Control Architecture to Automate Space Shuttle Operations
This paper describes preliminary results from using an AI robot control software architecture, known as 3T, as the software framework for a procedure tracking system for the space...
R. Peter Bonasso, David Kortenkamp, Troy Whitney
MM
2005
ACM
215views Multimedia» more  MM 2005»
15 years 8 months ago
OpenVIDIA: parallel GPU computer vision
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
James Fung, Steve Mann
VVS
2000
IEEE
128views Visualization» more  VVS 2000»
15 years 7 months ago
The ULTRAVIS system
This paper describes architecture and implementation of the ULTRAVIS system, a pure software solution for versatile and fast volume rendering. It provides perspective raycasting, ...
Günter Knittel