2173 search results - page 104 / 435 » On the Values of Reducibility Candidates |
ISCIS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
ISMIS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
FM
2001
Springer
15 years 2 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
ICCAD
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
TLCA
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...