1965 search results - page 235 / 393 » On the analysis of interacting pushdown systems |
ICMCS
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
FMCO
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
ACMACE
2010
ACM
13 years 5 months ago
2010
ACM
Tangible Anchoring explores potential practices for news reporting and analysis afforded by the convergence of tabletop computing forms, broadcast media, and user-generated conten...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
We lay out one strand of a continuing investigation into the development of a virtual peer to help children learn to use “school English” and “school-ratified science talk...
ACMDIS
2006
ACM
14 years 4 months ago
2006
ACM
People often use powerful tools to manage the documents they encounter, but very rarely to store the mental knowledge they glean from those documents. Popcorn is a personal knowle...