2008 search results - page 229 / 402 » Computing with Equations |
146
click to vote
ICPR
2008
IEEE
16 years 1 months 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...
144
click to vote
ICPR
2008
IEEE
16 years 1 months 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 ...
168
click to vote
ICPP
2007
IEEE
16 years 1 months 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...
145
click to vote
SIBGRAPI
2007
IEEE
16 years 28 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...
202
click to vote
TLCA
2007
Springer
16 years 24 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...