Sciweavers

5122 search results - page 202 / 1025
» Comparing Consequence Relations
Sort
View
137
Voted
IJCAI
2003
15 years 5 months ago
Spaces of Theories with Ideal Refinement Operators
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, ...
131
Voted
BMCBI
2006
87views more  BMCBI 2006»
15 years 3 months ago
Computational expression deconvolution in a complex mammalian organ
Background: Microarray expression profiling has been widely used to identify differentially expressed genes in complex cellular systems. However, while such methods can be used to...
Min Wang, Stephen R. Master, Lewis A. Chodosh
145
Voted
SG
2005
Springer
15 years 9 months ago
Multi-level Interaction in Parametric Design
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
Robert Aish, Robert Woodbury
NSPW
2004
ACM
15 years 9 months ago
Property-based attestation for computing platforms: caring about properties, not mechanisms
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
Ahmad-Reza Sadeghi, Christian Stüble
STOC
2010
ACM
261views Algorithms» more  STOC 2010»
15 years 8 months ago
An Improved LP-based Approximation for Steiner Tree
The Steiner tree problem is one of the most fundamental ÆÈ-hard problems: given a weighted undirected graph and a subset of terminal nodes, find a minimum weight tree spanning ...
Jaroslaw Byrka, Fabrizio Grandoni, Thomas Rothvoss...