3824 search results - page 549 / 765 » Geometry Constructions Language |
128
Voted
IGPL
2010
15 years 25 days ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
175
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Due to the complexity of graph query languages, the need for visual query interfaces that can reduce the burden of query formulation is fundamental to the spreading of graph data ...
161
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
156
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
136
Voted
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...