2173 search results - page 8 / 435 » An operational semantics for skeletons |
119
click to vote
CVPR
2012
IEEE
13 years 2 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...
173
Voted
POPL
2001
ACM
16 years 22 days ago
2001
ACM
87
Voted
CADE
2006
Springer
16 years 22 days ago
2006
Springer
101
Voted
ICLP
1995
Springer
15 years 4 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
15 years 12 days 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...