Sciweavers

113 search results - page 12 / 23
» Mutation Analysis Testing for Model Transformations
Sort
View
CEC
2007
IEEE
13 years 11 months ago
Theoretical derivation, analysis and empirical evaluation of a simpler Particle Swarm Optimiser
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...
Riccardo Poli, Dan Brattonx, Tim Blackwell, James ...
DRR
2010
13 years 10 months ago
Efficient automatic OCR word validation using word partial format derivation and language model
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
Siyuan Chen, Dharitri Misra, George R. Thoma
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 2 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
BMCBI
2010
156views more  BMCBI 2010»
13 years 7 months ago
Mathematical model for empirically optimizing large scale production of soluble protein domains
Background: Efficient dissection of large proteins into their structural domains is critical for high throughput proteome analysis. So far, no study has focused on mathematically ...
Eisuke Chikayama, Atsushi Kurotani, Takanori Tanak...
ICPR
2008
IEEE
14 years 8 months ago
Geometric constraints on 2D action models for tracking human body
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
Alexei Gritai, Arslan Basharat, Mubarak Shah