5525 search results - page 634 / 1105 » Verification of Model Transformations |
180
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
202
Voted
TITB
2008
15 years 7 months ago
2008
A fuzzy rule-based decision support system (DSS) is presented for the diagnosis of coronary artery disease (CAD). The system is automatically generated from an initial annotated da...
177
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
206
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
161
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a novel affine-invariant modeling of hand shapeappearance images, which offers a compact and descriptive representation of the hand configurations. Our approach combine...