1284 search results - page 192 / 257 » On Helping and Interactive Proof Systems |
INTR
2007
13 years 9 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...
PVLDB
2008
13 years 9 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 ...
TOG
2012
12 years 12 days ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Many surface computing prototypes have employed gestures created by system designers. Although such gestures are appropriate for early investigations, they are not necessarily ref...
CHI
2009
ACM
14 years 10 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...