1382 search results - page 53 / 277 » Procedural Generation of Roads |
TABLEAUX
1998
Springer
15 years 2 months ago
1998
Springer
This paper is concerned with various schemes for enhancing the performance of modal tableau procedures. It discusses techniques and strategies for dealing with the nondeterminism i...
COMMA
2008
14 years 11 months ago
2008
Human beings share a common competence for generating relevant arguments. We therefore hypothesize the existence of a cognitive procedure that enables them to determine the content...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
BMCBI
2006
14 years 10 months ago
2006
Background: Publicly accessible EST libraries contain valuable information that can be utilized for studies of tissue-specific gene expression and processing of individual genes. ...
CP
2004
Springer
15 years 3 months ago
2004
Springer
This paper considers the problem of transforming a resource feasible, fixed-times schedule into a partial order schedule (POS) to enhance its robustness and stability properties. ...