1633 search results - page 213 / 327 » On the Verification of Temporal Properties |
103
Voted
ESANN
2006
15 years 2 months ago
2006
In this study, a method for hierarchical examination and visualization of GSM data using the Self-Organizing Map (SOM) is described. The data is examined in few phases. At first te...
116
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
96
Voted
IJCAI
2001
15 years 2 months ago
2001
From as early as 6 months of age, human children distinguish between motion patterns generated by animate objects from patterns generated by moving inanimate objects, even when th...
101
Voted
AIPS
2009
15 years 1 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
ENTCS
2006
15 years 22 days ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...