Sciweavers

1774 search results - page 333 / 355
» The Networked Semantic Desktop
Sort
View
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
14 years 8 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
JFP
2010
142views more  JFP 2010»
14 years 8 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
BMVC
2010
14 years 7 months ago
Label propagation in complex video sequences using semi-supervised learning
We propose a novel directed graphical model for label propagation in lengthy and complex video sequences. Given hand-labelled start and end frames of a video sequence, a variation...
Ignas Budvytis, Vijay Badrinarayanan, Roberto Cipo...
ICOODB
2010
171views Database» more  ICOODB 2010»
14 years 7 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
IEAAIE
2010
Springer
14 years 7 months ago
Hierarchical Topic-Based Communities Construction for Authors in a Literature Database
In this paper, given a set of research papers with only title and author information, a mining strategy is proposed to discover and organize the communities of authors according to...
Chien-Liang Wu, Jia-Ling Koh