Sciweavers

815 search results - page 37 / 163
» Complexity classes for membrane systems
Sort
View
ICAI
2004
15 years 4 months ago
Inductive System Health Monitoring
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
David L. Iverson
CDC
2009
IEEE
113views Control Systems» more  CDC 2009»
15 years 8 months ago
Computation of safety control for uncertain piecewise continuous systems on a partial order
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
Michael R. Hafner, Domitilla Del Vecchio
HYBRID
2005
Springer
15 years 8 months ago
Hybrid Decentralized Control of Large Scale Systems
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
Francesco Borrelli, Tamás Keviczky, Gary J....
SIGCSE
2008
ACM
169views Education» more  SIGCSE 2008»
15 years 3 months ago
APOGEE: automated project grading and instant feedback system for web based computing
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, ...
IJCAI
2003
15 years 4 months ago
Query rewriting and answering under constraints in data integration systems
In this paper we address the problem of query answering and rewriting in global-as-view data integration systems, when key and inclusion dependencies are expressed on the global i...
Andrea Calì, Domenico Lembo, Riccardo Rosat...