Sciweavers

2790 search results - page 450 / 558
» A generative theory of relevance
Sort
View
ICNP
2006
IEEE
16 years 13 days ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
ICRA
2006
IEEE
98views Robotics» more  ICRA 2006»
16 years 13 days ago
Ridge-valley Path Planning for 3D Terrains
Abstract— This paper presents a tactical path planning algorithm for following ridges or valleys across a 3D terrain. The intent is to generate a path that enables an unmanned ve...
David L. Page, Andreas Koschan, Mongi A. Abidi, Ja...
INFOCOM
2006
IEEE
16 years 13 days ago
A Statistical Framework for Intrusion Detection in Ad Hoc Networks
— We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically fail to detect attacks and also gener...
Dhanant Subhadrabandhu, Saswati Sarkar, Farooq Anj...
IROS
2006
IEEE
155views Robotics» more  IROS 2006»
16 years 13 days ago
Design of Android type Humanoid Robot Albert HUBO
To celebrate the 100th anniversary of the announcement of the special relativity theory of Albert Einstein, KAIST HUBO team and hanson robotics team developed android type humanoi...
Jun-Ho Oh, David Hanson, Won-Sup Kim, Young Han, J...
PRDC
2006
IEEE
16 years 12 days ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....