Sciweavers

1527 search results - page 29 / 306
» What About Wednesday
Sort
View
IUI
2006
ACM
14 years 1 months ago
Augmenting kitchen appliances with a shared context using knowledge about daily events
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
Chia-Hsun Jackie Lee, Leonardo Bonanni, José...
KR
2010
Springer
14 years 15 days ago
I Don't Want to Think About it Now: Decision Theory with Costly Computation
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
Joseph Y. Halpern
HCI
2007
13 years 9 months ago
A Qualitative Oriented Study About IT Procurement Processes: Comparison of 4 European Countries
This study shows that in a qualitative study a small sample size is sufficient to gain interesting results and show differences between the procurement of IT services in different ...
Michael Schiessl, Sabrina Duda
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
13 years 11 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby
WMTE
2002
IEEE
14 years 19 days ago
Mobile Internet Usability: What Can 'Mobile Learning' Learn from the Past?
‘Mobile Learning’ is a type of application/service that generally presumes to use mobile Internet technology for learning purposes. This paper focuses on discussing basic usab...
Maria Uther