5671 search results - page 127 / 1135 » A Semantic Approach to Interpolation |
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
ACMICEC
2005
ACM
14 years 3 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
OTM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Folksonomies are becoming increasingly popular. They contain large amounts of data which can be mined and utilized for many tasks like visualization, browsing, informatio...
GIS
2008
ACM
14 years 11 months ago
2008
ACM
In order to deal with inconsistent databases, a repair semantics defines a set of admissible database instances that restore consistency, while staying close to the original insta...
DALT
2005
Springer
14 years 3 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...