Sciweavers

2962 search results - page 476 / 593
» Reasoning on Association Rules
Sort
View
SIGECOM
2006
ACM
107views ECommerce» more  SIGECOM 2006»
16 years 10 days ago
Empirical mechanism design: methods, with application to a supply-chain scenario
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...
Yevgeniy Vorobeychik, Christopher Kiekintveld, Mic...
ISCC
2005
IEEE
116views Communications» more  ISCC 2005»
15 years 12 months ago
Link Buffer Sizing: A New Look at the Old Problem
We revisit the question of how much buffer an IP router should allocate for its Droptail FIFO link. For a long time, setting the buffer size to the bitrate-delay product has been ...
Sergey Gorinsky, Anshul Kantawala, Jonathan S. Tur...
SCCC
2005
IEEE
15 years 12 months ago
Optimizing repair programs for consistent query answering
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
Mónica Caniupán Marileo, Leopoldo E....
AIED
2005
Springer
15 years 12 months ago
Critical Thinking Environments for Science Education
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
Beverly Park Woolf, Tom Murray, David Marshall, To...
CSL
2005
Springer
15 years 12 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui