Sciweavers

564 search results - page 48 / 113
» Corner cutting systems
Sort
View
ESOP
2010
Springer
14 years 6 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
ICEIS
2009
IEEE
14 years 3 months ago
CrimsonHex: A Service Oriented Repository of Specialised Learning Objects
The corner stone of the interoperability of eLearning systems is the standard definition of learning objects. Nevertheless, for some domains this standard is insufficient to fully ...
José Paulo Leal, Ricardo Queirós
INFOCOM
2009
IEEE
14 years 3 months ago
An Adaptive Link Layer for Range Diversity in Multi-Radio Mobile Sensor Networks
—An important challenge in mobile sensor networks is to enable energy-efficient communication over a diversity of distances while being robust to wireless effects caused by node...
Jeremy Gummeson, Deepak Ganesan, Mark D. Corner, P...
ICRA
2003
IEEE
167views Robotics» more  ICRA 2003»
14 years 2 months ago
Local exploration: online algorithms and a probabilistic framework
— Mapping an environment with an imaging sensor becomes very challenging if the environment to be mapped is unknown and has to be explored. Exploration involves the planning of v...
Volkan Isler, Sampath Kannan, Kostas Daniilidis
STACS
1991
Springer
14 years 17 days ago
The RELVIEW-System
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
Rudolf Berghammer, Gunther Schmidt