Sciweavers

136 search results - page 10 / 28
» Carnegie Mellon Online
Sort
View
ACE
2004
221views Education» more  ACE 2004»
14 years 9 days ago
Personal Software Process in the Database Course
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
William I. Bullers Jr.
CHI
2009
ACM
14 years 11 months ago
How do people talk with a robot?: an analysis of human-robot dialogues in the real world
This paper reports the preliminary results of a humanrobot dialogue analysis in the real world with the goal of understanding users' interaction patterns. We analyzed the dia...
Min Kyung Lee, Maxim Makatchev
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
14 years 4 months ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
CCS
2006
ACM
14 years 2 months ago
Secure hierarchical in-network aggregation in sensor networks
In-network aggregation is an essential primitive for performing queries on sensor network data. However, most aggregation algorithms assume that all intermediate nodes are trusted...
Haowen Chan, Adrian Perrig, Dawn Xiaodong Song
CHI
2011
ACM
13 years 2 months ago
Modeling users of intelligent systems
While many devices today increasingly have the ability to predict human activities, it is still difficult to build accurate personalized machine learning models. As users today wi...
Stephanie Rosenthal