3856 search results - page 157 / 772 » Models for Automated Earthmoving |
151
Voted
CSL
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a prosodic phrasing model for Korean to be used in a text-to-speech synthesis (TTS) system. Read text corpora were morpho-syntactically parsed and prosodically...
163
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In this paper, we describe a generation system for spoken dialogue that not only produces coherent, informative and responsive dialogue contributions, but also explicitly models h...
171
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
129
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
The paper provides a unifying perspective of tree-decomposition algorithms appearing in various automated reasoning areas such as join-tree clustering for constraint-satisfaction ...
141
Voted
ICTAI
2008
IEEE
16 years 17 days ago
2008
IEEE
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...