Sciweavers

685 search results - page 83 / 137
» Closure Operators for Order Structures
Sort
View
99
Voted
ICRA
2009
IEEE
145views Robotics» more  ICRA 2009»
15 years 9 months ago
Expansion segmentation for visual collision detection and estimation
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ï...
Jeffrey Byrne, Camillo J. Taylor
PPDP
2009
Springer
15 years 9 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus
ICRA
2007
IEEE
136views Robotics» more  ICRA 2007»
15 years 8 months ago
Automated Nanomanipulation with Atomic Force Microscopes
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
Babak Mokaberi, Jaehong Yun, Michael Wang, Aristid...
HICSS
2005
IEEE
123views Biometrics» more  HICSS 2005»
15 years 8 months ago
Enterprise Architecting: Critical Problems
An enterprise architecture (EA) identifies the main components of the organization, its information systems, the ways in which these components work together in order to achieve d...
Stephen H. Kaisler, Frank Armour, Michael Valivull...
WONS
2005
IEEE
15 years 8 months ago
MASSIVE: An Emulation Environment for Mobile Ad-Hoc Networks
Developing and evaluating protocols and applications for mobile ad-hoc networks requires signiï¬cant organisational effort when real mobile ad-hoc networks with several mobile te...
Michael Matthes, Holger Biehl, Michael Lauer, Oswa...