881 search results - page 81 / 177 » connection 2004 |
157
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
153
click to vote
MATA
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a middleware architecture with its location inference service (LIS), and an application for context-aware mobile collaboration which is based on this architec...
173
click to vote
MDM
2004
Springer
15 years 10 months ago
2004
Springer
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
201
click to vote
NLDB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
180
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...