Sciweavers

3775 search results - page 187 / 755
» The Expression Problem Revisited
Sort
View
147
Voted
COCOA
2009
Springer
15 years 8 months ago
Linear Coherent Bi-cluster Discovery via Line Detection and Sample Majority Voting
Discovering groups of genes that share common expression profiles is an important problem in DNA microarray analysis. Unfortunately, standard bi-clustering algorithms often fail t...
Yi Shi, Zhipeng Cai, Guohui Lin, Dale Schuurmans
117
Voted
IJCAI
2003
15 years 5 months ago
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...
DATE
2003
IEEE
108views Hardware» more  DATE 2003»
15 years 9 months ago
Generalized Posynomial Performance Modeling
This paper presents a new method to automatically generate posynomial symbolic expressions for the performance characteristics of analog integrated circuits. The coefficient set ...
Tom Eeckelaert, Walter Daems, Georges G. E. Gielen...
FTP
1998
Springer
15 years 8 months ago
Higher-Order Modal Logic - A Sketch
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
Melvin Fitting
143
Voted
SETN
2010
Springer
15 years 10 months ago
Task-Based Dependency Management for the Preservation of Digital Objects Using Rules
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
Yannis Tzitzikas, Yannis Marketakis, Grigoris Anto...