3515 search results - page 197 / 703 » On the semantics of Strategy Logic |
210
click to vote
ATAL
2005
Springer
16 years 26 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
231
click to vote
AGP
2003
IEEE
16 years 18 days ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
246
click to vote
GEOINFORMATICA
2011
15 years 2 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
205
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
194
click to vote
CGF
2008
15 years 7 months ago
2008
In traditional illustration the choice of appropriate styles and rendering techniques is guided by the intention of the artist. For illustrative volume visualizations it is diffic...