3028 search results - page 86 / 606 » Integrating Temporal Logics |
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
A compact integrated CMOS circuit for temporal differentiation is presented. It consists of a high-gain inverting amplifier, an active non-linear transconductance and a capacitor...
TDSC
2008
13 years 10 months ago
2008
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better coordination of application subsystems compared to federated...
AAAI
2000
13 years 11 months ago
2000
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals tha...
AAAI
2010
13 years 11 months ago
2010
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...
RTAS
2000
IEEE
14 years 1 months ago
2000
IEEE
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...