571 search results - page 87 / 115 » Domain Theory in Logical Form |
67
Voted
STOC
2003
ACM
15 years 10 months ago
2003
ACM
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
55
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
With the recent developments in ePaper technology, consumer eBook readers have display qualities and form factors that are approaching that of traditional books. These eBook reade...
NORMAS
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we argue that allowing self-interested agents to activate social institutions during run-time can improve the robustness (i.e., stability, cooperation or fairness) ...
79
Voted
ISMIR
2001
Springer
15 years 2 months ago
2001
Springer
Musical works form a key entity for music information retrieval. Explicit linkage of relationships among entities is critical for document-based information retrieval. Works conta...
DAGSTUHL
2010
14 years 11 months ago
2010
Visualizations are well suited to communicate large amounts of complex data. With increasing resolution in the spatial and temporal domain simple imaging techniques meet their lim...