Sciweavers

4218 search results - page 221 / 844
» Complete sets of cooperations
Sort
View
ICLA
2011
Springer
14 years 4 months ago
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
Ernst-Erich Doberkat
CVPR
2009
IEEE
1385views Computer Vision» more  CVPR 2009»
16 years 7 months ago
Distributed Multi-Target Tracking In A Self-Configuring Camera Network
This paper deals with the problem of tracking multiple targets in a distributed network of self-configuring pan-tilt-zoom cameras. We focus on applications where events unfold over...
Amit K. Roy Chowdhury, Bi Song, Cristian Soto
75
Voted
CHI
2006
ACM
16 years 1 months ago
Collaborative Coupling over Tabletop Displays
Designing collaborative interfaces for tabletops remains difficult because we do not fully understand how groups coordinate their actions when working collaboratively over tables....
Anthony Tang, Melanie Tory, Barry A. Po, Petra Neu...
102
Voted
CHI
2005
ACM
16 years 1 months ago
Sharing the big apple: a survey study of people, place and locatability
With the advancement in technologies to locate individuals, there has been an emergence of information systems that link People-to-People-to-Geographical-Places, labeled P3Systems...
Sukeshini A. Grandhi, Quentin Jones, Samer Karam
92
Voted
ICSE
2004
IEEE-ACM
16 years 23 days ago
Toward Undoing in Composite Web Services
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
Marie-Claude Gaudel