7 search results - page 1 / 2 » Automatic Verification of Knowledge and Time with NuSMV |
IJCAI
2007
13 years 5 months ago
2007
SIBGRAPI
2000
IEEE
13 years 8 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
FMCAD
2008
Springer
13 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...