2949 search results - page 276 / 590 » Universal Sparse Modeling |
119
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
132
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
133
click to vote
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...
113
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
115
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...