Sciweavers

693 search results - page 85 / 139
» A Basic Unit of Computation in Distributed Systems
Sort
View
COLCOM
2007
IEEE
15 years 9 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...
131
Voted
ISORC
2000
IEEE
15 years 7 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
103
Voted
ECIR
2009
Springer
15 years 12 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
166
Voted
CVPR
1998
IEEE
16 years 4 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. ...
140
Voted
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 9 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...