1553 search results - page 87 / 311 » Talking Faces - Technologies and Applications |
219
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
133
click to vote
KDD
2010
ACM
15 years 7 months ago
2010
ACM
Information diffusion and virus propagation are fundamental processes talking place in networks. While it is often possible to directly observe when nodes become infected, observi...
143
click to vote
FLAIRS
2006
15 years 7 months ago
2006
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...
122
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
133
Voted
ECTEL
2007
Springer
15 years 12 months ago
2007
Springer
To answer the challenges of globally distributed organizations facing constant transformation of work, means of ICT supported interorganizational knowledge-creation is needed. Firs...