Sciweavers

3179 search results - page 25 / 636
» Applications of PCF Theory
Sort
View
85
Voted
DAGSTUHL
2007
15 years 1 months ago
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw...
NIPS
2008
15 years 1 months ago
One sketch for all: Theory and Application of Conditional Random Sampling
Conditional Random Sampling (CRS) was originally proposed for efficiently computing pairwise (l2, l1) distances, in static, large-scale, and sparse data. This study modifies the o...
Ping Li, Kenneth Ward Church, Trevor Hastie
105
Voted
AROBOTS
2010
152views more  AROBOTS 2010»
15 years 16 days ago
Attractor dynamics approach to formation control: theory and application
In this paper we show how non
Sergio Monteiro, Estela Bicho
46
Voted
CJ
2008
75views more  CJ 2008»
15 years 15 days ago
The Bidimensionality Theory and Its Algorithmic Applications
Erik D. Demaine, MohammadTaghi Hajiaghayi