2191 search results - page 349 / 439 » Aspect - A Problem For MT |
144
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
138
Voted
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Next-best-view (NBV) planning is an important aspect for three-dimensional (3D) reconstruction within controlled environments, such as a camera mounted on a robotic arm. NBV metho...
165
Voted
AOSD
2009
ACM
15 years 1 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
165
Voted
FORTE
2009
15 years 1 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
170
Voted
GECCO
2009
Springer
15 years 1 months ago
2009
Springer
The generation of robot controllers for a task requiring a sequence of elementary behaviors is still a challenge. If these behaviors are known, intermediate steps can be given to ...