2021 search results - page 151 / 405 » COCO: Composition Model and Composition Model Implementation |
167
click to vote
ICASSP
2009
IEEE
15 years 3 months ago
2009
IEEE
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...
142
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
150
click to vote
FASE
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
161
Voted
AINA
2009
IEEE
16 years 26 days ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
138
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
For over 20 years, interventional methods have improved the outcomes of patients with cardiovascular disease or stroke. However, these procedures require an intricate combination ...