1445 search results - page 134 / 289 » Uniformly Hard Languages |
124
click to vote
LREC
2008
15 years 5 months ago
2008
One of the most challenging tasks for uniformed service personnel serving in foreign countries is effective verbal communication with the local population. To remedy this problem,...
130
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
137
click to vote
CN
1998
15 years 3 months ago
1998
With the increasing popularity of the World Wide Web, the number of information sources providing access to various types of data has increased considerably. While simple data ret...
126
click to vote
AI
1999
Springer
15 years 3 months ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
102
click to vote
KI
2002
Springer
15 years 3 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...