5232 search results - page 228 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
169
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
167
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
Near-duplicate video clip (NDVC) detection is an important problem with a wide range of applications such as TV broadcast monitoring, video copyright enforcement, content-based vi...
208
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
155
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
169
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper describes a jam session system that enables a human player to interplay with virtual players which can imitate the player personality models of various human players. P...