4629 search results - page 523 / 926 » Space Kernel Analysis |
268
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
304
click to vote
VLDB
2007
ACM
16 years 8 months ago
2007
ACM
Market analysis is a representative data analysis process with many applications. In such an analysis, critical numerical measures, such as profit and sales, fluctuate over time a...
206
click to vote
ICIAP
2003
ACM
16 years 7 months ago
2003
ACM
In texture analysis the common methods are based on the gray levels of the texture image. However, the use of color information improves the classification accuracy of the colored...
234
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
In this paper, we present a framework for categorical data analysis which allows such data sets to be explored using a rich set of techniques that are only applicable to continuou...
188
click to vote
SCIA
2005
Springer
16 years 1 months ago
2005
Springer
Clustering algorithms are intensively used in the image analysis field in compression, segmentation, recognition and other tasks. In this work we present a new approach in clusteri...