12981 search results - page 2527 / 2597 » Model Checking and Abstraction |
125
click to vote
HPCC
2005
Springer
15 years 6 months 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...
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
127
click to vote
ISAAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider bicriteria optimization problems and investigate the relationship between two standard approaches to solving them: (i) computing the Pareto curve and (ii) the...
134
click to vote
MLDM
2005
Springer
15 years 6 months 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...
109
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...