5089 search results - page 385 / 1018 » Attention |
179
click to vote
AML
2002
15 years 6 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
173
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
In this paper we study the attitude estimation problem for an accelerated rigid body using gyros and accelerometers. The application in mind is that of a walking robot and particu...
182
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Many electromagnetic actuators suffer from high velocity impacts. One such actuator is the electromechanical valve actuator, recently receiving attention for enabling variable val...
154
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
In recent years point-based geometry has gained increasing attention as an alternative surface representation, both for efficient rendering and for flexible geometry processing of...
190
click to vote
CANDC
2002
ACM
15 years 6 months ago
2002
ACM
This paper presents the Vienna ab initio simulation package (VASP) data viewer, a desktop 3D visualization application for the analysis of valence electronic structure information...