6201 search results - page 1116 / 1241 » Implementation of Axiomatic Language |
179
click to vote
DASIP
2010
14 years 12 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
150
Voted
ECEASST
2010
14 years 12 months ago
2010
The Eclipse Modeling Framework (EMF) and its meta-meta model Ecore support uni-directional and bi-directional references. It is quite common that references are defined uni-directi...
193
click to vote
IHI
2010
14 years 12 months ago
2010
The rising cost of healthcare is one of the major concerns faced by the nation. One way to lower healthcare costs and provide better quality care to patients is through the effect...
152
click to vote
INTERSPEECH
2010
14 years 12 months ago
2010
We present a pronunciation error detection method for second language learners of English (L2 learners). The method is a combination of confidence scoring and landmark-based Suppo...
175
Voted
JMLR
2010
14 years 12 months ago
2010
Continuous-time Bayesian networks is a natural structured representation language for multicomponent stochastic processes that evolve continuously over time. Despite the compact r...