2377 search results - page 76 / 476 » Hybrid Systems in TLA |
102
click to vote
TCS
2002
14 years 10 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
APNOMS
2006
Springer
15 years 2 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
INFORMATICALT
2007
14 years 11 months ago
2007
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
130
click to vote
ISLPED
2006
ACM
15 years 5 months ago
2006
ACM
—Fuel cell (FC) is a viable alternative power source for portable applications; it has higher energy density than traditional Li-ion battery and thus can achieve longer lifetime ...
111
click to vote
HYBRID
2004
Springer
15 years 4 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...