4099 search results - page 601 / 820 » A Framework for Interactive Proof |
134
click to vote
AVI
2008
15 years 7 months ago
2008
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
119
click to vote
FLAIRS
2008
15 years 7 months ago
2008
1 In this paper, we propose a peptide folding prediction method which discovers contrast patterns to differentiate and predict peptide folding classes. A contrast pattern is defin...
169
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
128
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...
130
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...