1912 search results - page 77 / 383 » GOAL as a Planning Formalism |
179
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
190
click to vote
DALT
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for eļ¬cient implementations, but prevents an...
146
click to vote
ISER
1993
Springer
15 years 10 months ago
1993
Springer
Much of the focus of the research effort in path planning for mobile robots has centred on the problem of finding a path from a start location to a goal location, while minimising...
154
click to vote
AAAI
2011
14 years 6 months ago
2011
Behind every search query is a high-level mission that the user wants to accomplish. While current search engines can often provide relevant information in response to well-speciļ...
143
click to vote
QSIC
2003
IEEE
15 years 11 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...