3318 search results - page 312 / 664 » The Weak Instance Model |
126
click to vote
AAAI
2000
15 years 6 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
164
click to vote
HPCC
2010
Springer
15 years 6 months ago
2010
Springer
Dedicated computing clusters are typically sized based on an expected average workload over a period of years, rather than on peak workloads, which might exist for relatively shor...
144
click to vote
IJAIT
2008
15 years 5 months ago
2008
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...
139
click to vote
DAS
2010
Springer
15 years 3 months ago
2010
Springer
Repetition of layout structure is prevalent in document images. In document design, such repetition conveys the underlying logical and functional structure of the data. For exampl...
161
click to vote
DLOG
2009
15 years 2 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...