5506 search results - page 80 / 1102 » Visualizing Software Changes |
110
click to vote
AMAST
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Although the results of spreadsheet programs are the base for very important decisions and are subject to many changes, they are only poorly documented. In this paper we introduce...
IUI
2000
ACM
15 years 3 months ago
2000
ACM
In designing Jabberwocky—a speech-based interface to Microsoft PowerPoint—we have tried to go beyond simple commands like “Next slide, please” and make a tool that aids sp...
102
click to vote
SEE
2010
Springer
14 years 5 months ago
2010
Springer
Engineering can learn from ethics, but ethics can also learn from engineering. In this paper, I discuss what engineering metaphors can teach us about practical philosophy. Using me...
105
click to vote
IJCAI
2007
15 years 13 days ago
2007
A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. It is commonly asserted that in order to ...