3994 search results - page 561 / 799 » A Linear Logical Framework |
185
click to vote
ICPR
2010
IEEE
16 years 25 days ago
2010
IEEE
We propose to use energy minimization in MRFs for matching-based image recognition tasks. To this end, the Tree-Reweighted Message Passing algorithm is modified by geometric cons...
188
click to vote
GLVLSI
2005
IEEE
16 years 25 days ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
208
click to vote
WACV
2005
IEEE
16 years 23 days ago
2005
IEEE
We present a framework for learning object representations for fast recognition of a large number of different objects. Rather than learning and storing feature representations s...
214
click to vote
HPCC
2005
Springer
16 years 22 days ago
2005
Springer
Structured data represented in the form of graphs arises in several fields of the science and the growing amount of available data makes distributed graph mining techniques partic...
173
click to vote
ICCSA
2005
Springer
16 years 22 days ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...