3690 search results - page 310 / 738 » Computation with classical sequents |
194
click to vote
ICCV
2007
IEEE
15 years 5 months ago
2007
IEEE
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...
159
Voted
CSR
2008
Springer
15 years 5 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
132
click to vote
CG
2006
Springer
15 years 5 months ago
2006
Springer
On the classical discrete grid, the analysis of digital straight lines (DSL for short) has been intensively studied for nearly half a century. In this article, we are interested i...
148
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
This paper describes an efficient and accurate approach to estimate the network distance between arbitrary Internet hosts. We use three landmark hosts forming a triangle in two-di...
164
Voted
CCE
2005
15 years 5 months ago
2005
Phenotype phase plane analysis is a linear optimization procedure which can be used to study the value of the objective function (a desired phenotype) as two variables (external s...