2173 search results - page 8 / 435 » An operational semantics for skeletons |
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
In this paper, we propose a general framework for approximating differential operator directly on point clouds and use it for geometric understanding on them. The discrete approxi...
POPL
2001
ACM
14 years 7 months ago
2001
ACM
CADE
2006
Springer
14 years 7 months ago
2006
Springer
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
JLP
2006
13 years 7 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...