Sciweavers

3116 search results - page 376 / 624
» Positively dependent types
Sort
View
ASSETS
2010
ACM
15 years 4 months ago
Towards accessible touch interfaces
Touch screen mobile devices bear the promise of endless leisure, communication, and productivity opportunities to motor-impaired people. Indeed, users with residual capacities in ...
Tiago João Guerreiro, Hugo Nicolau, Joaquim...
PAAMS
2010
Springer
15 years 4 months ago
Agent-Based AmI System Case Study: The Easy Line + Project
Abstract. Smart environments include context-aware computing to enhance system capabilities which affect user interaction positively. A context-aware application should collect con...
Armando Roy Delgado, Rubén Blasco Mar&iacut...
GLOBECOM
2009
IEEE
15 years 4 months ago
Selecting a Spatially Efficient Cooperative Relay
Cooperative relaying is a communication technique in wireless networks where neighboring nodes assist communication pairs to mitigate the negative effects of multi-path fading. The...
Nikolaj Marchenko, Evsen Yanmaz, Helmut Adam, Chri...
INFORMATICASI
2010
15 years 3 months ago
Strategic Modeling of Information Sharing among Data Privacy Attackers
Research in privacy-preserving data publishing has revealed the necessity of accounting for an adversary's background knowledge when reasoning about the protection afforded b...
Quang Duong, Kristen LeFevre, Michael P. Wellman
JCO
2011
113views more  JCO 2011»
15 years 1 months ago
Hardness and algorithms for rainbow connection
An edge-colored graph G is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection of a connected graph G, denoted r...
Sourav Chakraborty, Eldar Fischer, Arie Matsliah, ...