Sciweavers

1696 search results - page 42 / 340
» Permuted function matching
Sort
View
TLCA
2001
Springer
15 years 2 months ago
Strong Normalization of Classical Natural Deduction with Disjunction
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
Philippe de Groote
CORR
2010
Springer
185views Education» more  CORR 2010»
14 years 10 months ago
A new exponential separation between quantum and classical one-way communication complexity
We present a new example of a partial boolean function whose one-way quantum communication complexity is exponentially lower than its one-way classical communication complexity. T...
Ashley Montanaro
ER
2007
Springer
279views Database» more  ER 2007»
15 years 4 months ago
SimEval - A Tool for Evaluating the Quality of Similarity Functions
Approximate data matching applications typically use similarity functions to quantify the degree of likeness between two data instances. There are several similarity functions ava...
Carlos A. Heuser, Francisco N. A. Krieser, Viviane...
SEMWEB
2009
Springer
15 years 4 months ago
An Ontology-based Data Matching Framework: use Case Competency-based HRM
As part of the European PROLIX (Process Oriented Learning and Information eXchange) project, VUB STARLab designed a generic ontologybased data matching framework (ODMF). Within the...
Peter De Baer, Yan Tang, Pieter De Leenheer
FPGA
1998
ACM
146views FPGA» more  FPGA 1998»
15 years 2 months ago
Boolean Matching for Complex PLBs in LUT-based FPGAs with Application to Architecture Evaluation
In this paper, we developed Boolean matching techniques for complex programmable logic blocks (PLBs) in LUT-based FPGAs. A complex PLB can not only be used as a K-input LUT, but a...
Jason Cong, Yean-Yow Hwang