4047 search results - page 68 / 810 » Algebraic Model Checking |
140
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—The capacity of multiuser networks has been a longstanding problem in information theory. Recently, Avestimehr et al. have proposed a deterministic network model to appr...
114
click to vote
ICCV
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...
96
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
146
Voted
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
A new concept and algorithm are presented for noniterative robust estimation of piecewise smooth curves of maximal edge strength in small image windows – typically ¢¡£ to...
92
Voted
SMA
2008
ACM
15 years 17 days ago
2008
ACM
We present a generic framework on a set of surfaces S in