Sciweavers

561 search results - page 48 / 113
» A Constructive Approach to Testing Model Transformations
Sort
View
ACL
1997
15 years 1 months ago
A DOP Model for Semantic Interpretation
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...
Remko Bonnema, Rens Bod, Remko Scha
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
15 years 6 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
GCB
2009
Springer
105views Biometrics» more  GCB 2009»
15 years 6 months ago
Maximum Likelihood Estimation of Weight Matrices for Targeted Homology Search
: Genome annotation relies to a large extent on the recognition of homologs to already known genes. The starting point for such protocols is a collection of known sequences from on...
Peter Menzel, Jan Gorodkin, Peter F. Stadler
SPIESR
2000
104views Database» more  SPIESR 2000»
15 years 1 months ago
Feature localization and search by object model under illumination change
Color object recognition methods that are based on image retrieval algorithms can handle changes of illumination via image normalization, e.g. simple color-channel-normalization1 ...
Mark S. Drew, Zinovi Tauber, Ze-Nian Li
CAISE
2001
Springer
15 years 4 months ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...