1546 search results - page 186 / 310 » Context-Aware Computing with Sound |
167
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
157
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
183
click to vote
CVPR
1998
IEEE
15 years 10 months ago
1998
IEEE
Most of behavior recognition methods proposed so far share the limitations of bottom-up analysis, and singleobject assumption; the bottom-up analysis can be confused by erroneous ...
132
click to vote
ACMDIS
1997
ACM
15 years 10 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...
164
click to vote
CONCUR
1995
Springer
15 years 10 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...