4211 search results - page 644 / 843 » Types as Abstract Interpretations |
134
click to vote
ADBIS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
137
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes an approach for analysis of computer-supported learning processes utilizing logfiles of learners’ actions. We provide help to researchers and teachers in ...
135
Voted
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
165
Voted
HPCC
2005
Springer
15 years 10 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...
169
click to vote
MLDM
2005
Springer
15 years 10 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...