9504 search results - page 136 / 1901 » Dynamic Substitution Model |
109
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
130
Voted
IFM
2009
Springer
15 years 9 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
183
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
107
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Peephole interaction occurs when a spatially aware display is moved and acts as a viewport to reveal different parts of the virtual space that cannot all fit within the display at...
135
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
Speech has a property that the speech unit preceding a speech pause tends to lengthen. This work presents the use of a dynamic Bayesian network to model the prepausal lengthening ...