10156 search results - page 1794 / 2032 » Step by Step to Histories |
240
click to vote
KI
2004
Springer
16 years 23 days ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
234
click to vote
KR
2004
Springer
16 years 23 days ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
235
click to vote
KR
2004
Springer
16 years 23 days ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
208
click to vote
LATIN
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
236
click to vote
OOPSLA
2004
Springer
16 years 22 days ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...