397 search results - page 65 / 80 » Causal Reasoning with Contexts Using Dependent Types |
148
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
String searching is at the core of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filters. The growing size of o...
129
Voted
ICAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, dependi...
103
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Tablet PCs are gaining popularity but many older adults still struggle with pointing, particularly with two error types: missing, landing and lifting outside the target bounds; an...
135
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
119
Voted
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we describe the Smart Profile Management application that was designed to help minimize mobile phone disruptions. The system does this by making phone profile chang...