Sciweavers

298 search results - page 37 / 60
» Sensitivity Analysis of Multivariable Systems in State Space
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 1 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
SNPD
2008
15 years 1 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 5 months ago
Mathematical Foundation for Hormone-inspired Control for Self-reconfigurable Robotic Systems
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
Feili Hou, Wei-Min Shen
SOUPS
2010
ACM
15 years 3 months ago
Parenting from the pocket: value tensions and technical directions for secure and private parent-teen mobile safety
An increasing number of high-tech devices, such as driver monitoring systems and Internet usage monitoring tools, are advertised as useful or even necessary for good parenting of ...
Alexei Czeskis, Ivayla Dermendjieva, Hussein Yapit...
BMCBI
2010
104views more  BMCBI 2010»
14 years 6 months ago
A systematic study of genome context methods: calibration, normalization and combination
Background: Genome context methods have been introduced in the last decade as automatic methods to predict functional relatedness between genes in a target genome using the patter...
Luciana Ferrer, Joseph M. Dale, Peter D. Karp