Sciweavers

15033 search results - page 175 / 3007
» Complexity Theory and Algorithms
Sort
View
ATMOS
2010
134views Optimization» more  ATMOS 2010»
15 years 3 months ago
Vertex Disjoint Paths for Dispatching in Railways
We study variants of the vertex disjoint paths problem in planar graphs where paths have to be selected from a given set of paths. We study the problem as a decision, maximization...
Holger Flier, Matús Mihalák, Anita S...
127
Voted
STOC
2007
ACM
94views Algorithms» more  STOC 2007»
16 years 4 months ago
Constructing non-computable Julia sets
While most polynomial Julia sets are computable, it has been recently shown [12] that there exist non-computable Julia sets. The proof was non-constructive, and indeed there were ...
Mark Braverman, Michael Yampolsky
RAS
2008
86views more  RAS 2008»
15 years 3 months ago
Theory and implementation of path planning by negotiation for decentralized agents
This paper presents a cooperative decentralized path-planning algorithm for a group of autonomous agents that provides guaranteed collisionfree trajectories in real-time. The algo...
Oliver Purwin, Raffaello D'Andrea, Jin-Woo Lee
ICML
2009
IEEE
16 years 4 months ago
Learning with structured sparsity
This paper investigates a new learning formulation called structured sparsity, which is a naturalextensionofthestandardsparsityconceptinstatisticallearningandcompressivesensing. B...
Junzhou Huang, Tong Zhang, Dimitris N. Metaxas
DAGSTUHL
2006
15 years 5 months ago
Binary Lambda Calculus and Combinatory Logic
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
John Tromp