17185 search results - page 320 / 3437 » Computational and Quantitative Studies |
149
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a new Harris-affine corner detector algorithm, that does not need parameters to locate corners in images, given an observation scale. Standard detectors req...
193
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...
221
Voted
PACT
2007
Springer
16 years 1 months ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...
188
click to vote
PACT
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
216
Voted
AIMS
2010
Springer
16 years 9 days ago
2010
Springer
We present a new paradigm for multicasting. Our paradigm combines two ideas: a simple distributed algorithm for automatically numbering network links with a small amount of numbers...