Sciweavers

1959 search results - page 314 / 392
» Evaluation of Different Visualizations of Web Search Results
Sort
View
CADE
2006
Springer
16 years 7 months ago
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
SIGIR
2009
ACM
16 years 1 months ago
Personalized music emotion recognition
In recent years, there has been a dramatic proliferation of research on information retrieval based on highly subjective concepts such as emotion, preference and aesthetic. Such r...
Yi-Hsuan Yang, Yu-Ching Lin, Homer H. Chen
EUROPAR
2005
Springer
16 years 11 days ago
AGNO: An Adaptive Group Communication Scheme for Unstructured P2P Networks
— We present the Adaptive Group Notification (AGNO) scheme for efficiently contacting large peer populations in unstructured Peer-to-Peer networks. AGNO defines a novel implic...
Dimitrios Tsoumakos, Nick Roussopoulos
UM
2005
Springer
16 years 9 days ago
Modeling Suppositions in Users' Arguments
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
Sarah George, Ingrid Zukerman, Michael Niemann
DSD
2003
IEEE
108views Hardware» more  DSD 2003»
16 years 4 days ago
Concurrent Operation Scheduling and Unit Allocation with an Evolutionary Technique
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
Gregor Papa, Jurij Silc