3690 search results - page 250 / 738 » Computation with classical sequents |
87
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
DIS
2001
Springer
15 years 5 months ago
2001
Springer
Electron velocity distribution obtained by direct spacecraft observation in space is contaminated by photoelectrons. The photoelectrons are generated due to the solar ultraviolet r...
EUROPAR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. When parallelizing hierarchical view frustum culling and collision detection, the low computation cost per node and the fact that the traversal path through the tree stru...
106
Voted
LSSC
2001
Springer
15 years 5 months ago
2001
Springer
In the last years the interest in computer simulations of radioactive waste scenarios has increased. In this article we present numerical simulations with the software package TRAP...
134
Voted
LCN
2000
IEEE
15 years 5 months ago
2000
IEEE
The migration of the Internet from classic computer communication to a platform for multimedia applications with real-time communication requires end-to-end improvements of the ne...