3690 search results - page 336 / 738 » Computation with classical sequents |
149
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a classification algorithm built on our adaptation of the Generalized Lotka-Volterra model, well-known in mathematical ecology. The training algorithm itself consists ...
173
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
188
click to vote
ISMVL
2008
IEEE
16 years 1 months ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
170
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
As an extension to classical structured lighting techniques, the use of bi-dimensional pseudo-random color codes is explored to perform range sensing with variable density from a ...
166
Voted
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...