4814 search results - page 229 / 963 » Combining abstract interpreters |
165
click to vote
FGR
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...
192
click to vote
DAARC
2009
Springer
15 years 10 months ago
2009
Springer
We discuss an unusual reflexive construction in which the Chinese reflexive ziji appears twice, once before the verb and once after. We demonstrate that this is a distinct construc...
169
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
196
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Functional genomics is a typical scientific discovery domain characterized by a very large number of attributes (genes) relative to the number of examples (observations). The dang...
169
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Our approach views data-graphic design as two complementary processes: design as a constructive process of selecting and arranging graphical elements, and design as a process of b...