9572 search results - page 203 / 1915 » Cover Algorithms and Their Combination |
185
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The paper proposes an approach to modeling users of large Web sites based on combining different data sources: access logs and content of the accessed pages are combined with sema...
173
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Although, computational Grid has been initially developed to solve large-scale scientific research problems, it is extended for commercial and industrial applications. An interest...
184
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Palmprint recognition is an active member of biometrics in recent years. State-of-the-art algorithms of palmprint recognition describe appearances of palmprints efficiently throug...
214
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
142
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...