372 search results - page 18 / 75 » Place, Sense of Place, and Presence |
IWINAC
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we consider networks of evolutionary processors with splicing rules and permitting context (NEPPS) as language generating and computational devices. Such a network c...
AISC
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
Large collaborative datasets offer the challenging opportunity of creating systems capable of extracting knowledge in the presence of noisy data. In this work we explore the abili...
HUC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...
CHI
1995
ACM
13 years 11 months ago
1995
ACM
Large information spaces are often difficult to access efficiently and intuitively. We are exploring Pad++, a graphical interface system based on zooming, as an alternative to tra...