7 search results - page 1 / 2 » Projection semantics for rigid loops |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax ...
IJSM
2007
13 years 4 months ago
2007
— We propose an iconic indexing of images to be exposed on the Web. This should be accomplished by “Keypics”, i.e. auxiliary, simplified pictures referring to the geometrica...
ASWC
2009
Springer
13 years 11 months ago
2009
Springer
The problem of identity and reference is receiving increasing attention in the (semantic) web community and is emerging as one of the key features which distinguish traditional kno...
ENTCS
2008
13 years 4 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
WWW
2007
ACM
14 years 5 months ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...