Sciweavers

2817 search results - page 386 / 564
» An Architecture for Emergent Semantics
Sort
View
TCS
2010
15 years 4 months ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
AGP
2010
IEEE
15 years 4 months ago
Concurrent and Reactive Constraint Programming
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
Maurizio Gabbrielli, Catuscia Palamidessi, Frank D...
ISOLA
2010
Springer
15 years 4 months ago
Modeling and Reasoning about Service Behaviors and Their Compositions
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...
ICMI
2009
Springer
175views Biometrics» more  ICMI 2009»
15 years 4 months ago
Discovering group nonverbal conversational patterns with topics
This paper addresses the problem of discovering conversational group dynamics from nonverbal cues extracted from thin-slices of interaction. We first propose and analyze a novel t...
Dinesh Babu Jayagopi, Daniel Gatica-Perez
ICWSM
2009
15 years 4 months ago
A Categorical Model for Discovering Latent Structure in Social Annotations
The advent of social tagging systems has enabled a new community-based view of the Web in which objects like images, videos, and Web pages are annotated by thousands of users. Und...
Said Kashoob, James Caverlee, Ying Ding