6434 search results - page 444 / 1287 » Model Transformations with Reference Models |
184
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--This paper is concerned with the automatic recognition of dialogue acts (DAs) in multiparty conversational speech. We present a joint generative model for DA recognition ...
163
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
137
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
This communication addresses the issue of concurrent map building and localization (CML) for a mobile robot in an unknown environment. The proposed solution extends over previous ...
164
Voted
AH
2006
Springer
16 years 25 days ago
2006
Springer
This research outline refers to the assessment of motivation in online learning environments. It includes a presentation of previous approaches, most of them based on Keller’s AR...
183
click to vote
ICTCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...