631 search results - page 92 / 127 » Improving Internet interaction: From theory to practice |
JACM
2002
13 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
EAAI
2008
13 years 8 months ago
2008
Facial expression recognition has potential applications in different aspects of day-to-day life not yet realized due to absence of effective expression recognition techniques. Th...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
The importance of love is reflected in literature, movies and music, therefore it seems necessary to understand what role technology plays in relation to love and the roles it cou...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
MultiView is a new video conferencing system that supports collaboration between remote groups of people. MultiView accomplishes this by being spatially faithful. As a result, Mul...
ICDM
2002
IEEE
14 years 25 days ago
2002
IEEE
Mining of frequent itemsets is a fundamental data mining task. Past research has proposed many efficient algorithms for the purpose. Recent work also highlighted the importance of...