3951 search results - page 637 / 791 » Automatic amortized analysis |
135
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...
183
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 11 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
144
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
The tree width of a graph G measures how close G is to being a tree or a series-parallel graph. Many well-known problems that are otherwise NP-complete can be solved efficiently if...
154
Voted
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
152
click to vote
BIOADIT
2004
Springer
15 years 11 months ago
2004
Springer
Conventional Difference of Gaussian (DOG) filter is usually used to model the early stage of visual processing. However, convolution operation used with DOG does not explicitly a...