Sciweavers

5169 search results - page 731 / 1034
» Locality approximation using time
Sort
View
146
Voted
ICECCS
2010
IEEE
120views Hardware» more  ICECCS 2010»
15 years 5 months ago
Maintaining Stable Node Populations in Long-Lifetime Sensornets
Sensornets provide coverage of physical phenomena over extended periods, perhaps months or years. However, active nodes may deplete finite batteries within days, and are prone to...
Jonathan Tate, Iain Bate
185
Voted
ICCV
2007
IEEE
15 years 5 months ago
Efficient Silhouette Extraction with Dynamic Viewpoint
A novel approach is proposed that extends the classical background subtraction method to extract silhouettes from videos in real time with dynamic viewpoint variation caused by ca...
Yueting Zhuang, Cheng Chen
157
Voted
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 5 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
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 5 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
143
Voted
CORR
2007
Springer
85views Education» more  CORR 2007»
15 years 5 months ago
A multivariate interlace polynomial
We define a multivariate polynomial that generalizes in a unified way the twovariable interlace polynomial defined by Arratia, Bollob´as and Sorkin on the one hand, and a one-...
Bruno Courcelle