4814 search results - page 516 / 963 » Combining abstract interpreters |
204
click to vote
HPCC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Correction of building height effects is a critical step in image interpretation from aerial imagery in urban area. In this paper, an efficient scheme to correct building...
221
click to vote
MLDM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In supervised learning, discretization of the continuous explanatory attributes enhances the accuracy of decision tree induction algorithms and naive Bayes classifier. M...
192
click to vote
LATIN
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
191
click to vote
MFCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
197
click to vote
PPPJ
2003
ACM
16 years 4 days ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...