4961 search results - page 786 / 993 » Homomorphism-Homogeneous Relational Structures |
165
click to vote
AISC
2008
Springer
15 years 6 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...
169
click to vote
ICAISC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
137
click to vote
CCIA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper deals with the characterization of data complexity and the relationship with the classification accuracy. We study three dimensions of data complexity: the len...
143
click to vote
DAGM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
146
click to vote
DAGM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...