Sciweavers

3378 search results - page 172 / 676
» A universe of binding and computation
Sort
View
PERCOM
2007
ACM
16 years 6 months ago
Scenes: Abstracting interaction in immersive sensor networks
Abstracting Interaction in Immersive Sensor Networks TR-UTEDGE-2007-007 Sanem Kabadayi Christine Julien ? Copyright 2007 The University of Texas at Austin
Sanem Kabadayi, Christine Julien
VMCAI
2010
Springer
16 years 3 months ago
Automatic Abstraction for Congruences
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
Andy King, Harald Søndergaard
ELP
1989
15 years 10 months ago
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
Dale Miller
CHI
2009
ACM
16 years 7 months ago
Cell phone software aiding name recall
Senior citizens often find it difficult to remember names. This paper describes a novel cell phone application that uses information about one's social network and the places...
Kent Fenwick, Michael Massimi, Ronald Baecker, San...
SIGUCCS
2006
ACM
16 years 15 days ago
Bridging the student support gap
In recent years, the use of a computer has become a requirement for success in a collegiate environment, and the demand for mobile computing has sharply increased. In response to ...
Gerald Bailey, Jamie Piperberg, Bud Hiller