158 search results - page 26 / 32 » Strong logics of first and second order |
123
Voted
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of thes...
109
Voted
SYNTHESE
2010
15 years 7 days ago
2010
Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These s...
120
click to vote
ICDM
2006
IEEE
15 years 8 months ago
2006
IEEE
There has been a lot of recent interest in mining patterns from graphs. Often, the exact structure of the patterns of interest is not known. This happens, for example, when molecu...
130
click to vote
ILP
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
121
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...