4999 search results - page 846 / 1000 » User Interaction in the BANKS System |
169
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
183
click to vote
INTR
2007
15 years 6 months ago
2007
This paper proposes a hybrid approach for managing knowledge within companies based on communication between people. In addition to traditional Knowledge Management Systems our co...
170
click to vote
PVLDB
2008
15 years 6 months ago
2008
OLAP servers based on relational backends typically exploit materialized aggregate tables to improve response times of complex analytical queries. One of the key problems in this ...
182
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The availability of map interfaces and location-aware devices makes a growing amount of unstructured, geo-referenced information available on the Web. In particular, over twelve m...
182
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The Value Sensitive Design (VSD) methodology provides a comprehensive framework for advancing a value-centered research and design agenda. Although VSD provides helpful ways of th...