1134 search results - page 132 / 227 » Using Constraints with Action Language for Model Evolution |
162
click to vote
AAAI
2008
15 years 8 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
192
click to vote
ATVA
2004
Springer
15 years 11 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
186
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The impact of learning on evolution in dynamic environments undergoes recognized stages of the Baldwin Effect although its cause is not clear. To identify it experimentally, we de...
144
click to vote
NN
1998
Springer
15 years 6 months ago
1998
Springer
Visual information is processed in the posterior parietal cortex for the hypothesized purpose of extracting a variety of affordances for the generation of motor behavior. The term...
169
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...