5550 search results - page 938 / 1110 » Different Approaches to Proof Systems |
166
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Pointing combined with verbal referring is one of the most paradigmatic human multimodal behaviours. The aim of this paper is foundational: to uncover the central notions that are...
182
click to vote
PDCAT
2009
Springer
16 years 1 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
200
Voted
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
194
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
We present a new survey metric, the Creativity Support Index (CSI) that is designed to help researchers and designers evaluate the level of creativity support provided by various ...
185
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
There are still no established methods for the evaluation of browsing and exploratory search tools. In the (multimedia) information retrieval community evaluations following the C...