838 search results - page 47 / 168 » From Natural Language to Formal Proof Goal |
134
click to vote
FM
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
155
click to vote
ISIM
2007
15 years 7 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
188
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
216
click to vote
JFPLC
2004
15 years 7 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
168
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...