15416 search results - page 2690 / 3084 » Embeddings of Computable Structures |
188
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
185
click to vote
SMA
2006
ACM
16 years 25 days ago
2006
ACM
We present an efficient colon flattening algorithm using conformal structure, which is angle-preserving and minimizes the global distortion. Moreover, our algorithm is general w...
151
click to vote
UIST
2006
ACM
16 years 25 days ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
191
click to vote
VRST
2006
ACM
16 years 25 days ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
162
click to vote
WIKIS
2006
ACM
16 years 25 days ago
2006
ACM
In this paper we describe an emerging form of wikis - wikis of locality – that support physical rather than virtual communities. We draw on our experience as administrators of t...