2008 search results - page 229 / 402 » Computing with Equations |
142
click to vote
ICPR
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a novel formulation of non-Abelian invariant feature detection. By choosing suitable measuring functions, we show that the measuring space and the corresponding feature...
140
click to vote
ICPR
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper, we present a least square kernel machine with box constraints (LSKMBC). The existing least square machines assume Gaussian hyperpriors and subsequently express the ...
162
click to vote
ICPP
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper we present a solution for efficient porting of sequential C++ applications on the Cell B.E. processor. We present our step-by-step approach, focusing on its general...
142
click to vote
SIBGRAPI
2007
IEEE
16 years 22 days ago
2007
IEEE
Visualizations are highly valuable in improving the understanding, as well as the analysis of a variety of physical phenomena. Two such applications can be as a pedagogical tool f...
192
click to vote
TLCA
2007
Springer
16 years 17 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...