Sciweavers

11862 search results - page 1937 / 2373
» Relative information completeness
Sort
View
ATAL
2010
Springer
15 years 8 months ago
On the role of distances in defining voting rules
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko
BTW
2009
Springer
240views Database» more  BTW 2009»
15 years 8 months ago
Efficient Adaptive Retrieval and Mining in Large Multimedia Databases
Abstract: Multimedia databases are increasingly common in science, business, entertainment and many other applications. Their size and high dimensionality of features are major cha...
Ira Assent
CSL
2010
Springer
15 years 8 months ago
From Feasible Proofs to Feasible Computations
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
Jan Krajícek
HUC
2010
Springer
15 years 8 months ago
Understanding conflict between landlords and tenants: implications for energy sensing and feedback
Energy use in the home is a topic of increasing interest and concern, and one on which technology can have a significant impact. However, existing work typically focuses on modera...
Tawanna Dillahunt, Jennifer Mankoff, Eric Paulos
AI
2010
Springer
15 years 7 months ago
Interactive semantics
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
Hai Zhuge
« Prev « First page 1937 / 2373 Last » Next »