11160 search results - page 404 / 2232 » Incompleteness in a General Setting |
176
click to vote
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...
164
Voted
ARCS
2004
Springer
16 years 8 days ago
2004
Springer
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...
185
Voted
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
—This paper describes an approach to classification of noisy signals using a technique based on the fuzzy ARTMAP neural network (FAMNN). The proposed method is a modification of ...
166
click to vote
CCCG
2001
15 years 8 months ago
2001
We show that every set of n points in general position has a minimum pseudo-triangulation whose maximum vertex degree is five. In addition, we demonstrate that every point set in ...
159
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...