Sciweavers

5690 search results - page 744 / 1138
» A Position Control System Design
Sort
View
OPODIS
2007
15 years 8 months ago
ASAP: A Camera Sensor Network for Situation Awareness
Situation awareness is an important application category in cyber-physical systems, and distributed video-based surveillance is a good canonical example of this application class. ...
JunSuk Shin, Rajnish Kumar, Dushmanta Mohapatra, U...
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Verifying Test-Hypotheses: An Experiment in Test and Proof
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
TCS
2010
15 years 5 months ago
Stability analysis of the reproduction operator in bacterial foraging optimization
One of the major operators of Bacterial Foraging Optimization Algorithm (BFOA) is the reproduction phenomenon of virtual bacteria each of which models one trial solution of the op...
Arijit Biswas, Swagatam Das, Ajith Abraham, Sambar...
COGSR
2011
105views more  COGSR 2011»
15 years 1 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
JACM
2011
152views more  JACM 2011»
14 years 9 months ago
Robust principal component analysis?
This paper is about a curious phenomenon. Suppose we have a data matrix, which is the superposition of a low-rank component and a sparse component. Can we recover each component i...
Emmanuel J. Candès, Xiaodong Li, Yi Ma, Joh...