Sciweavers

2185 search results - page 366 / 437
» Context for semantic metadata
Sort
View
ENTCS
2006
1305views more  ENTCS 2006»
13 years 10 months ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...
TSE
2008
107views more  TSE 2008»
13 years 10 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan
TVCG
2002
135views more  TVCG 2002»
13 years 10 months ago
Three-Dimensional Interfaces for Querying by Example in Content-Based Image Retrieval
Image databases are nowadays widely exploited in a number of different contexts, ranging from history of art, through medicine, to education. Existing querying paradigms are based ...
Jürgen Assfalg, Alberto Del Bimbo, Pietro Pal...
POPL
2012
ACM
12 years 5 months ago
A language for automatically enforcing privacy policies
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
CONTEXT
2005
Springer
14 years 3 months ago
Contextual Modals
In a series of recent articles Angelika Kratzer has argued that the standard account of modality along Kripkean lines is inadequate in order to represent context-dependent modals. ...
Horacio L. Arló-Costa, William Taysom