Sciweavers

4099 search results - page 229 / 820
» A Framework for Interactive Proof
Sort
View
RIAO
2004
15 years 8 months ago
Monitoring User-System Performance in Interactive Retrieval Tasks
Monitoring user-system performance in interactive search is a challenging task. Traditional measures of retrieval evaluation, based on recall and precision, are not of any use in ...
Liudmila V. Boldareva, Arjen P. de Vries, Djoerd H...
ICML
2010
IEEE
15 years 7 months ago
Modeling Interaction via the Principle of Maximum Causal Entropy
The principle of maximum entropy provides a powerful framework for statistical models of joint, conditional, and marginal distributions. However, there are many important distribu...
Brian Ziebart, J. Andrew Bagnell, Anind K. Dey
JVCA
2006
87views more  JVCA 2006»
15 years 6 months ago
Interactive mesh deformation with pseudo material effects
This paper presents a novel interactive mesh deformation method that can achieve various dynamic material effects, including elastic membrane and cloth effects. In our framework, ...
Jin Huang, Hongxin Zhang, Xiaohan Shi, Xinguo Liu,...
CORR
2004
Springer
130views Education» more  CORR 2004»
15 years 6 months ago
Semantic Linking - a Context-Based Approach to Interactivity in Hypermedia
: The semantic Web initiates new, high level access schemes to online content and applications. One area of superior need for a redefined content exploration is given by on-line ed...
Michael Engelhardt, Thomas C. Schmidt
TCS
2010
15 years 4 months ago
On the expressiveness of interaction
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
Yuxi Fu, Hao Lu