5934 search results - page 910 / 1187 » Detecting a Network Failure |
228
click to vote
FMCO
2005
Springer
16 years 25 days ago
2005
Springer
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...
213
click to vote
IWDW
2004
Springer
16 years 20 days ago
2004
Springer
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...
165
click to vote
GECCO
2003
Springer
16 years 16 days ago
2003
Springer
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...
163
click to vote
ICRA
2002
IEEE
16 years 7 days ago
2002
IEEE
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, ...
224
click to vote
DAGM
2007
Springer
15 years 11 months ago
2007
Springer
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...