Sciweavers

2131 search results - page 319 / 427
» Immunity for Closed Sets
Sort
View
IJKDB
2010
141views more  IJKDB 2010»
14 years 9 months ago
Mining Frequent Boolean Expressions: Application to Gene Expression and Regulatory Modeling
Regulatory network analysis and other bioinformatics tasks require the ability to induce and represent arbitrary boolean expressions from data sources. We introduce a novel framew...
Mohammed Javeed Zaki, Naren Ramakrishnan, Lizhuang...
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
14 years 6 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari
CDC
2010
IEEE
127views Control Systems» more  CDC 2010»
14 years 6 months ago
The wireless control network: Monitoring for malicious behavior
We consider the problem of stabilizing a plant with a network of resource constrained wireless nodes. In a companion paper, we developed a protocol where each node repeatedly trans...
Shreyas Sundaram, Miroslav Pajic, Christoforos N. ...
CDC
2010
IEEE
14 years 6 months ago
Preference elicitation in Fully Probabilistic Design of decision strategies
Any systematic decision-making design selects a decision strategy that makes the resulting closed-loop behaviour close to the desired one. Fully Probabilistic Design (FPD) describe...
Miroslav Kárný, Tatiana V. Guy
CORR
2011
Springer
171views Education» more  CORR 2011»
14 years 6 months ago
Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...
Stephen L. Smith, Mac Schwager, Daniela Rus