13603 search results - page 2536 / 2721 » On the Complexity of Computing Treelength |
221
click to vote
SIGECOM
2005
ACM
16 years 2 days ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...
175
click to vote
SIGIR
2005
ACM
16 years 2 days ago
2005
ACM
We introduce a new model for semantic annotation and retrieval from image databases. The new model is based on a probabilistic formulation that poses annotation and retrieval as c...
162
click to vote
CHARME
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
204
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
161
click to vote
DIGRA
2005
Springer
16 years 1 days ago
2005
Springer
Despite the fact that there are currently a number of enjoyable digital games in which light plays a key role, we lack a vocabulary with which to discuss simulated illumination in...