77016 search results - page 222 / 15404 » Modeling Modeling |
160
click to vote
EXACT
2007
15 years 8 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
182
click to vote
ICPADS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
146
click to vote
CGF
1999
15 years 6 months ago
1999
The paper presents simple, physically plausible, but not physically based reflectance models for metals and other specular materials. So far there has been no metallic BRDF model ...
170
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...
154
click to vote
ICASSP
2008
IEEE
16 years 28 days ago
2008
IEEE
In this work we show how interactivity in a voice-enabled question answering application may improve speech recognition. We allow the user to provide a target named entity before ...