555 search results - page 48 / 111 » Between Symbol and Language-in-use |
ITS
2004
Springer
14 years 1 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...
ICCV
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we present a generative model for textured motion phenomena, such as falling snow, wavy river and dancing grass, etc. Firstly, we represent an image as a linear sup...
ISCA
2010
IEEE
14 years 25 days ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
GI
2001
Springer
14 years 6 days ago
2001
Springer
—The rapid advances in a wide range of wireless access technologies along with an industry-wide IP-convergence have set up the stage for context-aware computing. The “locationâ...
VTS
1997
IEEE
13 years 12 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...