Sciweavers

6300 search results - page 301 / 1260
» We have it easy, but do we have it right
Sort
View
ICC
2008
IEEE
102views Communications» more  ICC 2008»
15 years 8 months ago
Geometric Random Linear Codes in Sensor Networks
—Wireless sensor networks consist of unreliable and energy-constrained sensors connecting to each other wirelessly. As measured data may be lost due to sensor failures, maintaini...
Yunfeng Lin, Ben Liang, Baochun Li
DSN
2007
IEEE
15 years 8 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
109
Voted
ICDM
2007
IEEE
101views Data Mining» more  ICDM 2007»
15 years 8 months ago
Lightweight Distributed Trust Propagation
Using mobile devices, such as smart phones, people may create and distribute different types of digital content (e.g., photos, videos). One of the problems is that digital content...
Daniele Quercia, Stephen Hailes, Licia Capra
118
Voted
IROS
2007
IEEE
146views Robotics» more  IROS 2007»
15 years 8 months ago
Capturing robot workspace structure: representing robot capabilities
— Humans have at some point learned an abstraction of the capabilities of their arms. By just looking at the scene they can decide which places or objects they can easily reach a...
Franziska Zacharias, Christoph Borst, Gerd Hirzing...
SEFM
2007
IEEE
15 years 8 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer