8337 search results - page 198 / 1668 » Reasoning With Characteristic Models |
164
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
152
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a unique spectral modelling approach suitable for digital camera image processing. The proposed vector model combines both the magnitude and directional charac...
106
Voted
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
- Key characteristics of newly emerging IC technologies render the traditional concept of die size minimization and traditional "design rules" insufficient to handle the ...
153
click to vote
DLOG
2008
15 years 7 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
139
Voted
AAAI
1990
15 years 6 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...