Sciweavers

284 search results - page 9 / 57
» Quantifying process equivalence based on observed behavior
Sort
View
CDC
2009
IEEE
179views Control Systems» more  CDC 2009»
14 years 5 days ago
Bayesian network approach to understand regulation of biological processes in cyanobacteria
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...
Thanura R. Elvitigala, Abhay K. Singh, Himadri B. ...
MOMPES
2008
IEEE
14 years 1 months ago
Architectural Concurrency Equivalence with Chaotic Models
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
Dionisio de Niz
CONCUR
2008
Springer
13 years 9 months ago
A Notion of Glue Expressiveness for Component-Based Systems
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
Simon Bliudze, Joseph Sifakis
ICASSP
2011
IEEE
12 years 11 months ago
Parametric modeling and linear estimation of elastic deformations
We present a novel method to model and estimate elastic geometric deformations of an observed object, whether they are caused by the object’s own dynamic behavior, or by the dyn...
Nadav Geva, Rami Hagege, Joseph M. Francos
ICASSP
2011
IEEE
12 years 11 months ago
Driver risk evaluation based on acceleration, deceleration, and steering behavior
We propose a driver risk evaluation method based on the analysis of driving data captured with drive recorders. To evaluate the acceleration behavior of each driver we plot the ma...
Chiyomi Miyajima, Hiroki Ukai, Atsumi Naito, Hideo...