4629 search results - page 230 / 926 » Space Kernel Analysis |
198
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
163
click to vote
MVA
2007
15 years 8 months ago
2007
This paper presents color processing for face recognition systems and proposes new directions for them. We show that color information helps performance of face recognition and fo...
154
click to vote
IJMMS
2008
15 years 6 months ago
2008
When we think of mobility in technical terms, we think of topics such as bandwidth, resource management, location, and wireless networks. When we think of mobility in social or cu...
132
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Existing data mining algorithms on graphs look for nodes satisfying specific properties, such as specific notions of structural similarity or specific measures of link-based impor...
211
click to vote
SODA
2010
ACM
16 years 3 months ago
2010
ACM
The quadratic assignment problem (QAP) is a central problem in combinatorial optimization. Several famous computationally hard tasks, such as graph matching, partitioning, and the...