Sciweavers

138
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
BIRTHDAY
2006
Springer
15 years 7 months ago
SharedLife: Towards Selective Sharing of Augmented Personal Memories
The rapid deployment of low-cost ubiquitous sensing devices
Wolfgang Wahlster, Alexander Kröner, Dominik ...
119
Voted
CSLP
2004
Springer
15 years 7 months ago
Multi-dimensional Graph Configuration for Natural Language Processing
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...
Ralph Debusmann, Denys Duchier, Marco Kuhlmann
120
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Abstract Interpretation for Worst and Average Case Analysis
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
74
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Partial Solutions with Unique Completion
Marco Cadoli, Marco Schaerf