Sciweavers

467 search results - page 9 / 94
» Roadmap of Infinite Results
Sort
View
AAAI
2011
13 years 12 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
58
Voted
JCT
2002
52views more  JCT 2002»
14 years 11 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»
14 years 11 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»
14 years 6 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»
14 years 11 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