3778 search results - page 207 / 756 » Erdos-Ko-Rado for three sets |
137
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
140
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Decision tree learning algorithms produce accurate models that can be interpreted by domain experts. However, these algorithms are known to be unstable – they can produce drastic...
142
click to vote
FIMH
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
122
click to vote
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
153
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...