2391 search results - page 119 / 479 » From Nature to Methods and Back to Nature |
AIIDE
2009
14 years 11 months ago
2009
We examine the problem of automatically selecting gestures that are appropriate to use when telling a joke or a short story. Our current application of this is a joke telling huma...
101
click to vote
CICLING
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...
TYPES
2007
Springer
15 years 4 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
ICARCV
2006
IEEE
15 years 4 months ago
2006
IEEE
– This paper presents a localization strategy for vehicles in urban environments by mapping and updating natural landmarks provided by a 2D ladar (laser range scanner) when GPS d...
TSD
2004
Springer
15 years 3 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...