Sciweavers

5934 search results - page 910 / 1187
» Detecting a Network Failure
Sort
View
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 6 days ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
IWDW
2004
Springer
16 years 1 days ago
Alteration-Locating Authentication Watermarking for Binary Images
Abstract. In image authentication watermarking, hidden data is inserted into an image to detect any accidental or malicious image alteration. In the literature, quite a small numbe...
Hae Yong Kim, Ricardo L. de Queiroz
GECCO
2003
Springer
103views Optimization» more  GECCO 2003»
15 years 12 months ago
MILA - Multilevel Immune Learning Algorithm
The biological immune system is an intricate network of specialized tissues, organs, cells, and chemical molecules. T-cell-dependent humoral immune response is one of the complex i...
Dipankar Dasgupta, Senhua Yu, Nivedita Sumi Majumd...
ICRA
2002
IEEE
118views Robotics» more  ICRA 2002»
15 years 11 months ago
Fault Tolerance in Cooperative Manipulators
The problem of fault tolerance in cooperative manipulators rigidly connected to a solid object is addressed in this paper. Four faults are considered: free-swinging joint faults, ...
Renato Tinós, Marco H. Terra, Marcel Berger...
211
Voted
DAGM
2007
Springer
15 years 10 months ago
How to Find Interesting Locations in Video: A Spatiotemporal Interest Point Detector Learned from Human Eye Movements
Interest point detection in still images is a well-studied topic in computer vision. In the spatiotemporal domain, however, it is still unclear which features indicate useful inter...
Wolf Kienzle, Bernhard Schölkopf, Felix A. Wi...