529 search results - page 91 / 106 » Property Directed Abstract Interpretation |
132
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
119
click to vote
ICANN
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
118
click to vote
LPKR
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
113
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Brightness values of pixels in an image are related to image irradiance by a non-linear function, called the radiometric response function. Recovery of this function is i...
182
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...