Sciweavers

4946 search results - page 757 / 990
» Interacting with Large Displays
Sort
View
SIGIR
1996
ACM
15 years 10 months ago
Evaluating User Interfaces to Information Retrieval Systems: A Case Study on User Support
Designing good user interfaces to information retrieval systems is a complex activity. The design space is large and evaluation methodologies that go beyond the classical precisio...
Giorgio Brajnik, Stefano Mizzaro, Carlo Tasso
DAC
1994
ACM
15 years 10 months ago
Design Methodology Management Using Graph Grammars
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
Reid A. Baldwin, Moon-Jung Chung
CEEMAS
2007
Springer
15 years 10 months ago
Exploring Social Networks in Request for Proposal Dynamic Coalition Formation Problems
In farsighted MAS, every agent is aware of each other, and so they can evaluate the outcomes of their interaction in an efficient way. However, this farsighted knowledge becomes an...
Carlos Mérida-Campos, Steven Willmott
SAT
2010
Springer
125views Hardware» more  SAT 2010»
15 years 10 months ago
Two Techniques for Minimizing Resolution Proofs
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
Scott Cotton
HT
2007
ACM
15 years 10 months ago
Adaptive incremental browsing of ontology structure
We present a method for effective navigation in structure of large information spaces. The method employs incremental browsing of the information space structure and visualizes in...
Mária Bieliková, Michal Jemala