Sciweavers

1884 search results - page 180 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
LCTRTS
2001
Springer
15 years 5 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
MICCAI
2002
Springer
16 years 2 months ago
Macroscopic Modeling of Vascular Systems
Abstract. Angiogenesis, the growth of vascular structures, is an extremely complex biological process which has long puzzled scientists. Better physiological understanding of this ...
Dominik Szczerba, Gábor Székely
CIG
2005
IEEE
15 years 3 months ago
A Survey on Multiagent Reinforcement Learning Towards Multi-Robot Systems
Abstract- Multiagent reinforcement learning for multirobot systems is a challenging issue in both robotics and artificial intelligence. With the ever increasing interests in theor...
Erfu Yang, Dongbing Gu
ISM
2006
IEEE
153views Multimedia» more  ISM 2006»
15 years 7 months ago
A Forward-Looking User Interface for CBIR and CFIR Systems
Abstract— This demonstration highlights the benefits that image retrieval systems can enjoy by use of a thoughtful interface. We present a live demonstration of PRISM, a new Web...
Liam M. Mayron, Oge Marques, Gustavo B. Borba, Hum...
IEEECIT
2005
IEEE
15 years 7 months ago
iCDMdt: Focused the Model Mapping and Performance Optimization in Embedded System Design
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
Jing Luan, Xuan Cheng, Junzhong Gu