1045 search results - page 149 / 209 » Stepping into the Interactive Drama |
167
click to vote
AIED
2009
Springer
16 years 23 days ago
2009
Springer
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
183
click to vote
WOLLIC
2009
Springer
16 years 22 days ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
168
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
During face-to-face conversation, the speaker’s head is continually in motion. These movements serve a variety of important communicative functions. Our goal is to develop a mod...
161
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
168
click to vote
ISVC
2009
Springer
16 years 21 days ago
2009
Springer
Smooth trivariate splines on uniform tetrahedral partitions are well suited for high-quality visualization of isosurfaces from scalar volumetric data. We propose a novel rendering ...