1676 search results - page 319 / 336 » Formal Development of Self-organising Systems |
166
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
This paper describes a prototype that predicts the shopping lists for customers in a retail store. The shopping list prediction is one aspect of a larger system we have developed ...
182
click to vote
WOLLIC
2009
Springer
16 years 10 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
160
click to vote
ATAL
2009
Springer
16 years 10 days ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
149
click to vote
FDG
2009
ACM
16 years 8 days ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
155
click to vote
CAV
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...