Sciweavers

1980 search results - page 265 / 396
» On the Associative Nijenhuis Relation
Sort
View
111
Voted
ICRA
1993
IEEE
131views Robotics» more  ICRA 1993»
15 years 4 months ago
Exploration Strategies for Mobile Robots
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
Camillo J. Taylor, David J. Kriegman
97
Voted
SAS
1993
Springer
104views Formal Methods» more  SAS 1993»
15 years 4 months ago
Strictness Properties of Lazy Algebraic Datatypes
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
P. N. Benton
VLDB
1989
ACM
155views Database» more  VLDB 1989»
15 years 4 months ago
Parallel Processing of Recursive Queries in Distributed Architectures
This paper presents a parallel algorithm for recursive query processing and shows how it can be efficiently implemented in a local computer network. The algorithm relies on an int...
Guy Hulin
GECCO
2010
Springer
195views Optimization» more  GECCO 2010»
15 years 4 months ago
GPU-based island model for evolutionary algorithms
The island model for evolutionary algorithms allows to delay the global convergence of the evolution process and encourage diversity. However, solving large size and time-intensiv...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
114
Voted
CONCUR
2009
Springer
15 years 4 months ago
Weak Time Petri Nets Strike Back!
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
Pierre-Alain Reynier, Arnaud Sangnier