Sciweavers

6312 search results - page 1065 / 1263
» A design framework for metaheuristics
Sort
View
ICFEM
1997
Springer
14 years 2 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
SPAA
1996
ACM
14 years 2 months ago
BSP vs LogP
A quantitative comparison of the BSP and LogP models of parallel computation is developed. We concentrate on a variant of LogP that disallows the so-called stalling behavior, alth...
Gianfranco Bilardi, Kieran T. Herley, Andrea Pietr...
ICRA
1993
IEEE
184views Robotics» more  ICRA 1993»
14 years 2 months ago
Vision-Guided Exploration: A Step Toward General Motion Planning in Three Dimensions
We present an approach for solving the path planning problem for a mobile robot operating in an unknown, three dimensional environment containing obstacles of arbitrary shape. The...
Kiriakos N. Kutulakos, Vladimir J. Lumelsky, Charl...
ICRA
1994
IEEE
147views Robotics» more  ICRA 1994»
14 years 2 months ago
Provable Strategies for Vision-Guided Exploration in Three Dimensions
An approach is presented for exploring an unknown, arbitrary surface in three-dimensional (3D) space by a mobile robot. The main contributions are (1) an analysis of the capabilit...
Kiriakos N. Kutulakos, Charles R. Dyer, Vladimir J...
RIDE
1993
IEEE
14 years 2 months ago
Integration of Relational Databases in a Multidatabase System based on Schema Enrichment
In this paper, we describe a framework for an object-oriented modeling of meta information and its use for the integration of heterogeneous databases with the goal of their intero...
Daniel A. Keim, Hans-Peter Kriegel, Andreas Mieths...
« Prev « First page 1065 / 1263 Last » Next »