686 search results - page 36 / 138 » Nonmonotonic inference operations |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
CRV
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we describe a technique to infer the topology and connectivity information of a network of cameras based on observed motion in the environment. While the technique c...
IJCAI
1997
13 years 11 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
ICGI
2010
Springer
13 years 11 months ago
2010
Springer
In this work, we give an algorithm that infers Regular Trace Languages. Trace languages can be seen as regular languages that are closed under a partial commutation relation called...
RAID
2010
Springer
13 years 8 months ago
2010
Springer
Application-level protocol specifications are helpful for network security management, including intrusion detection, intrusion prevention and detecting malicious code. However, c...