2152 search results - page 95 / 431 » On Automating the Calculus of Relations |
99
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s sh...
98
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
WCRE
2002
IEEE
15 years 5 months ago
2002
IEEE
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
113
Voted
ILP
2007
Springer
15 years 6 months ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
124
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...