508 search results - page 28 / 102 » What's the big idea |
KR
2010
Springer
14 years 14 days ago
2010
Springer
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
EPIA
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...
KR
1998
Springer
13 years 12 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
The concept of systematic software reuse is simple: the idea of building and using "software preferred parts." By building systems out of carefully designed, pre-tested ...
SPAA
1993
ACM
13 years 11 months ago
1993
ACM
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...