2062 search results - page 149 / 413 » Derivatives of Logical Formulas |
123
Voted
AAAI
2008
15 years 6 months ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
152
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
117
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
131
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
Entity resolution is the problem of determining which records in a database refer to the same entities, and is a crucial and expensive step in the data mining process. Interest in...