2944 search results - page 72 / 589 » On Well Quasi-orders on Languages |
HRI
2010
ACM
14 years 3 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
LATIN
2010
Springer
14 years 3 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
IJCNLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents an empirical study on four techniques of language model adaptation, including a maximum a posteriori (MAP) method and three discriminative training mo...
IPSN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...