Sciweavers

3378 search results - page 302 / 676
» A universe of binding and computation
Sort
View
IJFCS
2007
98views more  IJFCS 2007»
15 years 6 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
CBMS
2004
IEEE
15 years 10 months ago
Online Medical Teaching Case Database
Page >> Table of Contents >> Abstract 17th IEEE Symposium on Computer-Based Medical Systems (CBMS'04) p. 420 Online Medical Teaching Case Database Susan Kansagra, ...
Susan Kansagra, Chris Chang, Saleem Hussain, Grego...
CHI
2006
ACM
16 years 7 months ago
Balance pass: service design for a healthy college lifestyle
This paper describes the design of a service that provides nutritional feedback to female college freshmen. A variety of background research methods-food journals, competitive pro...
Aditya Chand, Monica Gonzalez, Julian Missig, Puri...
CHI
2004
ACM
16 years 7 months ago
Laboratory for automation psychology and decision processes
The Laboratory for Automation Psychology and Decision Processes (LAPDP) focuses on the cognitive/psychological aspects of human/computer interaction and does both basic and applie...
Kent L. Norman
ICICS
2009
Springer
16 years 1 months ago
GUC-Secure Join Operator in Distributed Relational Database
Privacy-preserving SQL computation in distributed relational database is one of important applications of secure multiparty computation. In contrast with comparatively more works o...
Yuan Tian, Hao Zhang