1495 search results - page 131 / 299 » Confirmation in Multimodal Systems |
101
click to vote
ESSLLI
2009
Springer
14 years 7 months ago
2009
Springer
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...
MOC
2010
14 years 4 months ago
2010
In this paper, the geometric interpolation of planar data points and boundary tangent directions by a cubic G2 Pythagorean-hodograph (PH) spline curve is studied. It is shown, that...
AGENTS
1999
Springer
15 years 2 months ago
1999
Springer
Aircraft maintenance is performed by mechanics who are required, by regulation, to consult expert engineers for repair instructions and approval. In addition to their own experien...
NDQA
2003
14 years 11 months ago
2003
Current question answering systems succeed in many respects regarding questions about textual documents. However, information exists in other media, which provides both opportunit...
KI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...