2430 search results - page 440 / 486 » Computing Tutte Polynomials |
111
click to vote
SAS
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
133
click to vote
ARESEC
2011
14 years 1 months ago
2011
—Denial of Service (DoS) attacks aiming to exhaust the resources of a server by overwhelming it with bogus requests have become a serious threat. Especially protocols that rely o...
122
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
109
click to vote
ICCV
1999
IEEE
16 years 3 months ago
1999
IEEE
Since their debut in 1987, snakes (active contour models) have become a standard image analysis technique with several variants now in common use. We present a framework called ``...
202
Voted
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract-- Current state-of-the-art association rule-based classifiers for gene expression data operate in two phases: (i) Association rule mining from training data followed by (i...