3872 search results - page 389 / 775 » The Java memory model |
140
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
159
click to vote
CONTEXT
1999
Springer
15 years 9 months ago
1999
Springer
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...
139
click to vote
PADS
1997
ACM
15 years 9 months ago
1997
ACM
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...
134
click to vote
ESANN
2006
15 years 6 months ago
2006
A probabilistic, ``neural'' approach to sensor modelling and classification is described, performing local data fusion in a wireless system for embedded sensors using a ...
126
click to vote
IWEC
2004
15 years 6 months ago
2004
In this paper, we describe our work on classification of players in Massively Multiplayer Online Games using Hidden Markov Models based on player action sequences. In our previous ...