Sciweavers

3775 search results - page 189 / 755
» The Expression Problem Revisited
Sort
View
IDA
2007
Springer
15 years 3 months ago
An unsupervised clustering approach for leukaemia classification based on DNA micro-arrays data
: DNA micro-arrays provide thousands of genomic expressions on the same subject. A main issue is then to find the subset of genes whose degeneration is responsible of a certain typ...
Simone Garatti, Sergio Bittanti, Diego Liberati, A...
JAR
2007
90views more  JAR 2007»
15 years 3 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
157
Voted
ICML
2009
IEEE
16 years 4 months ago
Online feature elicitation in interactive optimization
Most models of utility elicitation in decision support and interactive optimization assume a predefined set of "catalog" features over which user preferences are express...
Craig Boutilier, Kevin Regan, Paolo Viappiani
125
Voted
AMOST
2005
ACM
15 years 9 months ago
Using information about functions in selecting test cases
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
Markus Clermont, David Lorge Parnas
ICCAD
1999
IEEE
76views Hardware» more  ICCAD 1999»
15 years 8 months ago
Optimal allocation of carry-save-adders in arithmetic optimization
: Carry-save-adder(CSA) is one of the most widely used schemes for fast arithmetic in industry. This paper provides a solution to the problem of finding an optimal-timing allocatio...
Junhyung Um, Taewhan Kim, C. L. Liu