9521 search results - page 1748 / 1905 » Compiling with continuations, continued |
163
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
196
click to vote
LNCS
1991
15 years 10 months ago
1991
We describe the parser of LEU/2, the Linguistic Experimentation Environment of the LILOG project. The parser is designed to support and encourage experimentation with different gr...
179
click to vote
VISUALIZATION
1991
IEEE
15 years 10 months ago
1991
IEEE
or vectors at every mesh point may lead to a very cluttered image. Continuous coloring or data mapping, on the other hand, provide a smooth representation of the data. The use of t...
176
click to vote
EVOW
2010
Springer
15 years 9 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...
176
click to vote
FC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...