2086 search results - page 77 / 418 » Mathematical Theory Exploration |
SOFSEM
2000
Springer
14 years 1 months ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...
DALT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
DESRIST
2010
Springer
14 years 29 days ago
2010
Springer
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...
DIGRA
2005
Springer
14 years 3 months ago
2005
Springer
For a player to enter the game-world of EverQuest, they must choose a character. Each character fulfills a particular, functional role within the game that defines the game-play e...
IJAC
2010
13 years 7 months ago
2010
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...