819 search results - page 123 / 164 » Using Assumptions to Distribute CTL Model Checking |
124
click to vote
KDD
2007
ACM
15 years 6 months ago
2007
ACM
Mixture models form one of the most widely used classes of generative models for describing structured and clustered data. In this paper we develop a new approach for the analysis...
127
click to vote
PROMISE
2010
14 years 7 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
102
Voted
CVPR
2006
IEEE
15 years 6 months ago
2006
IEEE
Nowadays, GPS-based car navigation systems mainly use speech and aerial views of simplified road maps to guide drivers to their destination. However, drivers often experience dif...
120
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...
136
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...