Sciweavers

6014 search results - page 531 / 1203
» Structural Testing with Use Cases
Sort
View
ISIM
2007
15 years 8 months ago
Genomial Co-Design: An MDA-compliant Approach for Embedded Architectures
Abstract. This paper proposes a modified, genomial, version of function - architecture co-design rnethod so that wider cvaluation of architecturcs from both functional arrd structu...
Janis Silins
ENTCS
2006
119views more  ENTCS 2006»
15 years 7 months ago
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
Eric Vecchié, Robert de Simone
ISDA
2010
IEEE
15 years 4 months ago
Improving statistical parsing by linguistic regularization
Statistically-based parsers for large corpora, in particular the Penn Tree Bank (PTB), typically have not used all the linguistic information encoded in the annotated trees on whic...
Igor Malioutov, Robert C. Berwick
PROMISE
2010
15 years 1 months ago
Case-based reasoning vs parametric models for software quality optimization
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
Adam Brady, Tim Menzies
ICIP
2008
IEEE
16 years 8 months ago
Appearance-based object detection in colour retinal images
Extraction of anatomical structures (landmarks), such as optic disk (OD), fovea and blood vessels, from fundus images is useful in automatic diagnosis. Current approaches largely ...
Jeetinder Singh, Gopal Datt Joshi, Jayanthi Sivasw...