Sciweavers

2025 search results - page 121 / 405
» On the Utility of Inference Mechanisms
Sort
View
ICOIN
2001
Springer
14 years 1 months ago
Measurement-Based Adaptive Statistical Admission Control Scheme for Video-on-Demand Servers
In a VoD(Video-on-Demand system), admission control that is used to serve multimedia data efficiently has to be performed by an accurate grasp of the condition of surplus resource...
In-Hwan Kim, Jeong-Won Kim, Seung-Won Lee, Ki-Dong...
ATAL
2009
Springer
14 years 3 months ago
Characterizing false-name-proof allocation rules in combinatorial auctions
A combinatorial auction mechanism consists of an allocation rule that defines the allocation of goods for each agent, and a payment rule that defines the payment of each winner....
Taiki Todo, Atsushi Iwasaki, Makoto Yokoo, Yuko Sa...
PEPM
2009
ACM
14 years 6 months ago
Bidirectional data-flow analyses, type-systematically
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
Maria João Frade, Ando Saabas, Tarmo Uustal...
AAAI
1990
13 years 10 months ago
The Representation of Defaults in Cyc
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
Ramanathan V. Guha
ICCV
2007
IEEE
14 years 11 months ago
Mixture-of-Parts Pictorial Structures for Objects with Variable Part Sets
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
Robin Hess, Alan Fern, Eric N. Mortensen