7890 search results - page 400 / 1578 » The MathSAT 3 System |
183
click to vote
CSC
2006
15 years 8 months ago
2006
- Two software packages for solving sparse systems of linear equations, SuperLU and UMFPACK, have been integrated with the University of Maine Ice Sheet Model for predicting the fo...
191
click to vote
WSC
1997
15 years 8 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
188
click to vote
DAGSTUHL
2010
15 years 7 months ago
2010
Abstract. We present an interactive, real-time mapping system for digital elevation maps (DEMs), which allows Earth scientists to map and therefore understand the deformation of th...
159
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--This paper explores the possibilities of using monocular simultaneous localization and mapping (SLAM) algorithms in systems with more than one camera. The idea is to comb...
193
click to vote
LOGCOM
2010
15 years 1 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...