Sciweavers

693 search results - page 85 / 139
» A Basic Unit of Computation in Distributed Systems
Sort
View
COLCOM
2007
IEEE
14 years 3 months ago
A comparison of optimistic approaches to collaborative editing of Wiki pages
—Wikis, a popular tool for sharing knowledge, are basically collaborative editing systems. However, existing wiki systems offer limited support for co-operative authoring, and th...
Claudia-Lavinia Ignat, Gérald Oster, Pascal...
ISORC
2000
IEEE
14 years 1 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
ECIR
2009
Springer
14 years 6 months ago
Word Particles Applied to Information Retrieval
Document retrieval systems conventionally use words as the basic unit of representation, a natural choice since words are primary carriers of semantic information. In this paper w...
Evandro B. Gouvêa, Bhiksha Raj
CVPR
1998
IEEE
14 years 10 months ago
Using Adaptive Tracking to Classify and Monitor Activities in a Site
We describe a vision system that monitors activity in a site over extended periods of time. The system uses a distributed set of sensors to cover the site, and an adaptive tracker...
W. Eric L. Grimson, Chris Stauffer, R. Romano, L. ...
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 3 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...