574 search results - page 49 / 115 » On the Validity of Hierarchical Decompositions |
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Local binary pattern (LBP), fast and simple for implementation, has shown its superiority in face and palmprint recognition. To extract representative features, "uniform"...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
CIS
2005
Springer
14 years 1 months ago
2005
Springer
Different from familiar clustering objects, text documents have sparse data spaces. A common way of representing a document is as a bag of its component words, but the semantic re...
ECAI
2000
Springer
14 years 1 days ago
2000
Springer
This paper explores the possibility to exploit text on the world wide web in order to enrich the concepts in existing ontologies. First, a method to retrieve documents from the WWW...
AISC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...