Sciweavers

3239 search results - page 485 / 648
» A Logical Process Calculus
Sort
View
136
Voted
PKDD
2007
Springer
146views Data Mining» more  PKDD 2007»
15 years 9 months ago
A Method for Multi-relational Classification Using Single and Multi-feature Aggregation Functions
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
Richard Frank, Flavia Moser, Martin Ester
SAT
2007
Springer
96views Hardware» more  SAT 2007»
15 years 9 months ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
115
Voted
WILF
2007
Springer
127views Fuzzy Logic» more  WILF 2007»
15 years 9 months ago
Unsupervised Haplotype Reconstruction and LD Blocks Discovery in a Hidden Markov Framework
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...
Alessandro Perina, Marco Cristani, Giovanni Malerb...
116
Voted
WSFM
2007
Springer
15 years 9 months ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...
122
Voted
AHS
2006
IEEE
137views Hardware» more  AHS 2006»
15 years 9 months ago
Genetic Algorithm based Engine for Domain-Specific Reconfigurable Arrays
Domain-specific reconfigurable arrays have shown to provide an efficient trade-off between flexibility of FPGA and performance of ASIC circuit. Nonetheless, the design of these he...
Wing On Fung, Tughrul Arslan, Sami Khawam