9264 search results - page 321 / 1853 » Space Between Languages |
344
click to vote
JCP
2008
15 years 6 months ago
2008
Conventionally, human-robot communication and robot-robot communication are dealt with in different manners in general. From the viewpoint of cooperation between human staff and ro...
173
click to vote
ENTCS
2002
15 years 6 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
158
click to vote
ACL
2010
15 years 4 months ago
2010
This paper explores the effect that different corpus configurations have on the performance of a coreference resolution system, as measured by MUC, B3, and CEAF. By varying separa...
171
click to vote
FLAIRS
2009
15 years 4 months ago
2009
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
149
click to vote
JUCS
2010
15 years 1 months ago
2010
: Motivated by our experiences with spatial modelling for the sustainable land use initiative we present a geometrically enhanced ER model (GERM), which preserves the key principle...