740 search results - page 127 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
131
click to vote
ICSOC
2004
Springer
15 years 6 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
128
click to vote
AMEC
2003
Springer
15 years 6 months ago
2003
Springer
Digital information economies require information goods producers to learn how to position themselves within a potentially vast product space. Further, the topography of this spac...
138
click to vote
CONSTRAINTS
2008
15 years 1 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
120
click to vote
IJIM
2008
15 years 1 months ago
2008
Personalization and effective user profile management will be critical to meet the individual users' needs and for achieving eInclusion and eAccessibility. This paper outlines...
110
click to vote
MATES
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...