10837 search results - page 2025 / 2168 » Adaptive User Interfaces |
160
Voted
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
142
click to vote
TMC
2012
13 years 6 months ago
2012
—The pervasive adoption of IEEE 802.11 radios in the past decade has made possible for the easy Internet access from a vehicle, notably drive-thru Internet. Originally designed f...
121
Voted
CHI
2003
ACM
16 years 4 months ago
2003
ACM
HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
141
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Social networking sites and other examples of online social spaces have greatly expanded their members’ opportunities for self expression and social interaction, while creating ...
139
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Wireless mesh network deployments are popular as a cost-effective means to provide broadband connectivity to large user populations. As the network usage grows, network...