Sciweavers

3707 search results - page 356 / 742
» A Simple Technique for Self-Calibration
Sort
View
GIS
2006
ACM
15 years 6 months ago
Swarming methods for geospatial reasoning
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...
H. Van Dyke Parunak, Sven Brueckner, Robert S. Mat...
IJRR
2008
67views more  IJRR 2008»
15 years 6 months ago
Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
Peng Cheng, Vijay Kumar
IJBC
2006
80views more  IJBC 2006»
15 years 6 months ago
Return-Map Cryptanalysis Revisited
As a powerful cryptanalysis tool, the method of return-map attacks can be used to extract secret messages masked by chaos in secure communication schemes. Recently, a simple defen...
Shujun Li, Guanrong Chen, Gonzalo Álvarez
CORR
2007
Springer
126views Education» more  CORR 2007»
15 years 6 months ago
Decentralized sequential change detection using physical layer fusion
— We study the problem of decentralized sequential change detection with conditionally independent observations. The sensors form a star topology with a central node called fusio...
Leena Zacharias, Rajesh Sundaresan
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 6 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen