2911 search results - page 203 / 583 » A Theory of Expressiveness in Mechanisms |
181
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We describe a mapping language for converting data contained in spreadsheets into the Web Ontology Language (OWL). The developed language, called M2 , overcomes shortcomings with e...
206
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
165
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In everyday life, humans interact with many products. In many of these interactions, a person performs an action with, toward, or in the vicinity of a product and then the product...
166
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
214
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...