Sciweavers

467 search results - page 9 / 94
» Roadmap of Infinite Results
Sort
View
AAAI
2011
12 years 7 months ago
Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation
Behind every search query is a high-level mission that the user wants to accomplish. While current search engines can often provide relevant information in response to well-speciï...
Edith Law, Haoqi Zhang
JCT
2002
52views more  JCT 2002»
13 years 7 months ago
A Result in Dual Ramsey Theory
We present a result which is obtained by combining a result of Carlson with the Finitary Dual Ramsey Theorem of Graham-Rothschild. We start by introducing some notation. We confor...
Lorenz Halbeisen, Pierre Matet
JSYML
2000
48views more  JSYML 2000»
13 years 7 months ago
Two Consistency Results on Set Mappings
It is consistent that there is a set mapping from the four-tuples of n into the finite subsets with no free subsets of size tn for some natural number tn. For any n < it is con...
Péter Komjáth, Saharon Shelah
JSYML
2010
95views more  JSYML 2010»
13 years 2 months ago
Some natural decision problems in automatic graphs
For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree (B) existence of an Euler...
Dietrich Kuske, Markus Lohrey
RAS
1998
145views more  RAS 1998»
13 years 7 months ago
Coordinated path planning for multiple robots
We present a new approach to the multi-robot path planning problem, where a number of robots are to change their positions through feasible motions in the same static environment....
Petr Svestka, Mark H. Overmars