3557 search results - page 603 / 712 » Authoring Presentation for OpenMath |
102
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
86
Voted
IUI
2010
ACM
15 years 10 months ago
2010
ACM
We present two studies that evaluate the accuracy of human responses to an intelligent agent’s data classification questions. Prior work has shown that agents can elicit accurat...
114
Voted
STACS
2010
Springer
15 years 8 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
99
Voted
CHI
2010
ACM
15 years 8 months ago
2010
ACM
We present the results of a qualitative study of the sharing and consumption of entertainment media on low-cost mobile phones in urban India, a practice which has evolved into a v...
118
Voted
CHI
2010
ACM
15 years 8 months ago
2010
ACM
MouseLight is a spatially-aware standalone mobile projector with the form factor of a mouse that can be used in combination with digital pens on paper. By interacting with the pro...