4224 search results - page 375 / 845 » Reasoning about Choice |
190
click to vote
CSL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. For deterministic tree automata, classical hierarchies, like MostowskiRabin (or index) hierarchy, Borel hierarchy, or Wadge hierarchy, are known to be decidable. However,...
163
click to vote
ICCBR
2009
Springer
16 years 2 months ago
2009
Springer
Case-base administrators face a choice of many maintenance algorithms. It is well-known that these algorithms have different biases that cause them to perform inconsistently over ...
244
click to vote
SAMOS
2009
Springer
16 years 2 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
172
click to vote
IMC
2009
ACM
16 years 2 months ago
2009
ACM
Researchers and network operators often say that BGP table transfers are slow. Despite this common knowledge, the reasons for slow BGP transfers are not well understood. This pape...
224
click to vote
SMA
2009
ACM
16 years 2 months ago
2009
ACM
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...