2370 search results - page 259 / 474 » A Framework for the Simulation Experimentation Process |
177
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
142
click to vote
ATAL
2009
Springer
16 years 20 days ago
2009
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. We present a framework for mod...
151
click to vote
TACAS
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
151
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
174
Voted
MLMI
2004
Springer
15 years 11 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...