Sciweavers

29082 search results - page 5387 / 5817
» The Time-Triggered Model of Computation
Sort
View
BILDMED
2009
181views Algorithms» more  BILDMED 2009»
15 years 8 months ago
3D Segmentation and Quantification of the Aortic Arch for Endovascular Aortic Repair
Abstract. We introduce a novel model-based approach for the segmentation and quantification of the aortic arch morphology in 3D CTA images for endovascular aortic repair. The appro...
Stefan Wörz, Hendrik von Tengg-Kobligk, Veren...
ATAL
2010
Springer
15 years 8 months ago
Assignment problem in requirements driven agent collaboration and its implementation
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...
Jian Tang, Zhi Jin
ATAL
2010
Springer
15 years 8 months ago
Developing high-level cognitive functions for service robots
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang ...
ATAL
2010
Springer
15 years 8 months ago
Evaluating directorial control in a character-centric interactive narrative framework
Interactive narrative allows the user to play a role in a story and interact with other characters controlled by the system. Directorial control is a procedure for dynamically tun...
Mei Si, Stacy C. Marsella, David V. Pynadath
CSL
2010
Springer
15 years 8 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
« Prev « First page 5387 / 5817 Last » Next »