12946 search results - page 2389 / 2590 » Natural Language Processing |
189
click to vote
FOSSACS
2007
Springer
16 years 21 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
169
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
178
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
171
click to vote
ICMI
2007
Springer
16 years 20 days ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
166
click to vote
IESS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...