2024 search results - page 226 / 405 » A Formal Model of Multi-agent Computations |
147
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we propose an original hybrid statistical-structural method for on-line Chinese character recognition. We model characters thanks to fuzzy inference rules combining...
124
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
144
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...
144
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
136
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...