Sciweavers

3658 search results - page 554 / 732
» Founding properties on measurement
Sort
View
PVLDB
2008
107views more  PVLDB 2008»
13 years 9 months ago
Finding relevant patterns in bursty sequences
Sequence data is ubiquitous and finding frequent sequences in a large database is one of the most common problems when analyzing sequence data. Unfortunately many sources of seque...
Alexander Lachmann, Mirek Riedewald
IJBRA
2010
121views more  IJBRA 2010»
13 years 8 months ago
Mining Cytochrome b561 proteins from plant genomes
—Cytochrome b561 (Cyt-b561) proteins play important functions in plants such as anti-toxin defense reactions, growth and development, and prevention of damage to plants from exce...
Stephen O. Opiyo, Etsuko N. Moriyama
IPPS
2010
IEEE
13 years 7 months ago
On the parallelisation of MCMC-based image processing
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
Jonathan M. R. Byrd, Stephen A. Jarvis, Abhir H. B...
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 7 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
INFSOF
2011
176views more  INFSOF 2011»
13 years 4 months ago
Testing in Service Oriented Architectures with dynamic binding: A mapping study
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
Marcos Palacios, José García-Fanjul,...