Sciweavers

4313 search results - page 597 / 863
» Using time travel to diagnose computer problems
Sort
View
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 7 months ago
Quantifying Homology Classes
We develop a method for measuring homology classes. This involves three problems. First, we define the size of a homology class, using ideas from relative homology. Second, we defi...
Chao Chen, Daniel Freedman
187
Voted
CSDA
2008
122views more  CSDA 2008»
15 years 7 months ago
Time-adaptive quantile regression
An algorithm for time-adaptive quantile regression is presented. The algorithm is based on the simplex algorithm, and the linear optimization formulation of the quantile regressio...
Jan Kloppenborg Møller, Henrik Aalborg Niel...
ICRA
2010
IEEE
100views Robotics» more  ICRA 2010»
15 years 6 months ago
Robot limbo: Optimized planning and control for dynamically stable robots under vertical obstacles
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...
Kasemsit Teeyapan, Jiuguang Wang, Tobias Kunz, Mik...
LICS
2010
IEEE
15 years 5 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
168
Voted
TWC
2011
219views more  TWC 2011»
15 years 2 months ago
Utility-Optimal Multi-Pattern Reuse in Multi-Cell Networks
—Achieving sufficient spatial capacity gain through the use of small cells requires careful consideration of intercell interference (ICI) management via BS power coordination co...
Kyuho Son, Yung Yi, Song Chong