Sciweavers

49 search results - page 5 / 10
» Characteristic Formulae for Fixed-Point Semantics: A General...
Sort
View
IJCAI
2007
13 years 9 months ago
Learning from Partial Observations
We present a general machine learning framework for modelling the phenomenon of missing information in data. We propose a masking process model to capture the stochastic nature of...
Loizos Michael
RE
2010
Springer
13 years 2 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
HOTOS
1999
IEEE
13 years 12 months ago
Conductor: A Framework for Distributed Adaptation
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
Mark Yarvis, Peter L. Reiher, Gerald J. Popek
AUSAI
2009
Springer
14 years 2 months ago
Modelling Object Typicality in Description Logics
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
Katarina Britz, Johannes Heidema, Thomas Andreas M...
SEMWEB
2010
Springer
13 years 5 months ago
Measuring the Dynamic Bi-directional Influence between Content and Social Networks
The Social Semantic Web has begun to provide connections between users within social networks and the content they produce across the whole of the Social Web. Thus, the Social Sema...
Shenghui Wang, Paul T. Groth