4047 search results - page 68 / 810 » Algebraic Model Checking |
160
Voted
CORR
2011
Springer
14 years 9 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...
130
Voted
ICCV
2009
IEEE
15 years 7 days 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...
112
click to vote
LICS
2002
IEEE
15 years 7 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...
163
click to vote
ICPR
2000
IEEE
15 years 7 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...
108
click to vote
SMA
2008
ACM
15 years 2 months ago
2008
ACM
We present a generic framework on a set of surfaces S in