Sciweavers

778 search results - page 7 / 156
» Live Social Semantics
Sort
View
ISOLA
2010
Springer
13 years 8 months ago
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
Alessandro Moschitti
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
14 years 3 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
14 years 3 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
JAPLL
2008
88views more  JAPLL 2008»
13 years 10 months ago
Living up to one's commitments: Agency, strategies and trust
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
Thomas Müller
CHI
2010
ACM
14 years 4 months ago
Student socialization in the age of facebook
Most research regarding online social networks such as Facebook, MySpace, Linked-In and Friendster has looked at these networks in terms of activity within the online network, suc...
Louise Barkhuus, Juliana Tashiro