Sciweavers

1831 search results - page 173 / 367
» Time Constraints in Workflow Systems
Sort
View
DATE
2003
IEEE
120views Hardware» more  DATE 2003»
15 years 9 months ago
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
Massimo Bombana, Francesco Bruschi
AAAI
2010
15 years 5 months ago
Integrated Systems for Inducing Spatio-Temporal Process Models
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
Chunki Park, Will Bridewell, Pat Langley
AAAI
1990
15 years 5 months ago
An Organizational Approach to Adaptive Production Systems
Recently-developed techniques have improved the performance of production systems several times over. However, these techniques are not yet adequate for continuous problem solving...
Toru Ishida, Makoto Yokoo, Les Gasser
LICS
2010
IEEE
15 years 2 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
ICRA
2006
IEEE
158views Robotics» more  ICRA 2006»
15 years 10 months ago
An Agent-based Mobile Robot System using Configurable SOC Technique
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
Yan Meng