2008 search results - page 229 / 402 » Computing with Equations |
105
Voted
ICPR
2008
IEEE
15 years 10 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...
103
Voted
ICPR
2008
IEEE
15 years 10 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 ...
123
Voted
ICPP
2007
IEEE
15 years 10 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...
119
Voted
SIBGRAPI
2007
IEEE
15 years 10 months 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...
151
Voted
TLCA
2007
Springer
15 years 9 months 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...