449 search results - page 5 / 90 » What is Initiative |
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
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...
CCR
2007
13 years 7 months ago
2007
Many believe that it is impossible to resolve the challenges facing today’s Internet without rethinking the fundamental assumptions and design decisions underlying its current a...
KR
1998
Springer
13 years 12 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
MHCI
2005
Springer
14 years 1 months ago
2005
Springer
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
AH
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents the methods used in a TV Recommender System that helps users in the difficult task of finding an interesting TV program from among the hundreds of channels that...