397 search results - page 65 / 80 » Causal Reasoning with Contexts Using Dependent Types |
IPPS
2009
IEEE
14 years 2 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...
ICAS
2008
IEEE
14 years 1 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...
CHI
2010
ACM
14 years 24 days 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...
HICSS
2003
IEEE
14 years 23 days 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 ...
MHCI
2009
Springer
14 years 1 days 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...