3824 search results - page 143 / 765 » Geometry Constructions Language |
137
click to vote
ICRA
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
103
click to vote
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
114
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
MST
2007
15 years 1 months ago
2007
We construct a finite language L such that the largest language commuting with L is not recursively enumerable. This gives a negative answer to the question raised by Conway in 1...
139
click to vote
CICLING
2007
Springer
15 years 8 months ago
2007
Springer
Semantic parsing is the task of mapping a natural language sentence into a complete, formal meaning representation. Over the past decade, we have developed a number of machine lear...