Sciweavers

2021 search results - page 258 / 405
» Energy-aware user interfaces: an evaluation of user acceptan...
Sort
View
DGO
2003
108views Education» more  DGO 2003»
14 years 11 months ago
The GovStat Statistical Interactive Glossary
The GovStat Statistical Interactive Glossary (SIG) is intended to allow users of federal statistical agency websites to look up meanings of statistical terms they encounter on the...
Ron T. Brown, Jesse Wilbur, Stephanie W. Haas, Mar...
COLING
2010
14 years 5 months ago
Metaphor Interpretation and Context-based Affect Detection
Metaphorical and contextual affect detection from open-ended text-based dialogue is challenging but essential for the building of effective intelligent user interfaces. In this pa...
Li Zhang
FROCOS
2011
Springer
13 years 9 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
MOBIQUITOUS
2007
IEEE
15 years 4 months ago
TRULLO - local trust bootstrapping for ubiquitous devices
—Handheld devices have become sufficiently powerful that it is easy to create, disseminate, and access digital content (e.g., photos, videos) using them. The volume of such cont...
Daniele Quercia, Stephen Hailes, Licia Capra
IWCMC
2006
ACM
15 years 4 months ago
A joint technical and micro-economic investigation of pricing data services over wireless LANs
In this paper, we analyze a wireless LAN hot-spot, based on the IEEE 802.11b protocol, and more specifically we address the issue of defining proper pricing strategies, from bot...
Leonardo Badia, Federico Rodaro, Michele Zorzi