9067 search results - page 1497 / 1814 » Adaptive Model Checking |
165
click to vote
COLING
1996
15 years 8 months ago
1996
Preparation, recording, segmentation and pitch labelling of Slovenian diphone inventories are described. A special user friendly intert'ace package was developed in order to ...
216
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
228
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
134
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Existing large-scale articulatory databases describe the tongue shape through the 2D positions of 3–4 fixed landmarks on the tongue surface. The ability to reconstruct the full...
187
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
The importance estimation problem (estimating the ratio of two probability density functions) has recently gathered a great deal of attention for use in various applications, e.g....