15792 search results - page 110 / 3159 » Computational Abstraction Steps |
ISPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— In this article, we propose a fully distributed algorithm for finding all primes in an given interval [2..n] (or (L, R), more generally), based on the SMER — Schedul...
IANDC
2007
13 years 9 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
TVCG
2008
13 years 9 months ago
2008
Abstract-- Fluid simulations typically produce complex threedimensional iso-surfaces whose geometry and topology change over time. The standard way of representing such "dynam...
BIBE
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—This paper describes an efficient image transformation method based on histogram information and some prior knowledge of tissue expression in different modalities for r...
CSR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract It has recently been proved (Je˙z, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some nonregular languages over a...