Sciweavers

11949 search results - page 161 / 2390
» Some results on (a:b)-choosability
Sort
View
HPCN
1995
Springer
15 years 4 months ago
The Pandore data-parallel compiler and its portable runtime
Abstract. This paper presents an environment for programming distributed memory computers using High Performance Fortran. Emphasis is put on compilation techniques and distributed ...
Françoise André, Marc Le Fur, Yves M...
ICRA
1995
IEEE
122views Robotics» more  ICRA 1995»
15 years 4 months ago
Actuator Constraints in Optimal Motion Planning of Manipulators
The optimal motion generation problem is solved subject to various actuator constraints while the motion is constrained to an arbitrary path. The considered objective function is ...
Patrick Plédel, Yasmina Bestaoui
VLDB
1991
ACM
190views Database» more  VLDB 1991»
15 years 4 months ago
Algebraic Properties of Bag Data Types
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
Joseph Albert
ICALP
2010
Springer
15 years 3 months ago
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kie...
AUSAI
2005
Springer
15 years 3 months ago
Understanding the Pheromone System Within Ant Colony Optimization
Abstract. Ant Colony Optimization (ACO) is a collection of metaheuristics inspired by foraging in ant colonies, whose aim is to solve combinatorial optimization problems. We identi...
Stephen Gilmour, Mark Dras