Sciweavers

5634 search results - page 250 / 1127
» About Abstract Classes
Sort
View
ICRA
2003
IEEE
154views Robotics» more  ICRA 2003»
15 years 9 months ago
Obstacle avoidance in formation
Abstract— In this paper, we present an approach to obstacle avoidance for a group of unmanned vehicles moving in formation. The goal of the group is to move through a partially u...
Petter Ögren, Naomi Ehrich Leonard
ASP
2003
Springer
15 years 9 months ago
Suitable Graphs for Answer Set Programming
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
Thomas Linke
ECOOP
2003
Springer
15 years 9 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
ERSHOV
2003
Springer
15 years 9 months ago
The Translation Power of the Futamura Projections
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
Robert Glück
ISHPC
2003
Springer
15 years 9 months ago
Chordal Topologies for Interconnection Networks
Abstract. The class of dense circulant graphs of degree four with optimal distance-related properties is analyzed in this paper. An algebraic study of this class is done. Two geome...
Ramón Beivide, Carmen Martínez, Cruz...