359 search results - page 9 / 72 » What to Do About Microsoft |
ICECCS
2007
IEEE
14 years 1 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...
AI
2001
Springer
14 years 1 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
AI50
2006
14 years 1 months ago
2006
There are many stories to tell about the first fifty years of AI. One story is about AI as one of the big forces of innovation in information technology. It is now forgotten that i...
ISWC
2000
IEEE
14 years 2 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...
ACMIDC
2010
13 years 11 months ago
2010
Pleo is one of the more advanced interactive toys currently available for the home market, taking the form of a robotic dinosaur. We present an exploratory study of how it was int...