10715 search results - page 1794 / 2143 » From Tests to Proofs |
172
Voted
SIAMSC
2008
15 years 6 months ago
2008
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...
163
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Abstract. This paper presents a new stochastic preconditioning approach for large sparse matrices. For the class of matrices that are row-wise and column-wise irreducibly diagonall...
170
Voted
RAS
2006
15 years 6 months ago
2006
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...
159
Voted
RAS
2006
15 years 6 months ago
2006
In this paper we examine issues of localization, exploration, and planning in the context of a hybrid robot/camera-network system. We exploit the ubiquity of camera networks to us...
155
Voted
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
A qualitative analysis of debugging strategies of novice Java programmers is presented. The study involved 21 CS2 students from seven universities in the U.S. and U.K. Subjects &q...