2226 search results - page 327 / 446 » Computable Analysis via Representations |
130
click to vote
ACMSE
2010
ACM
15 years 2 months ago
2010
ACM
The Center for Remote Sensing of Ice Sheets (CReSIS) has been compiling Greenland ice sheet thickness data since 1993. The airborne program utilizes a 150 MHz radar echo sounder to...
142
click to vote
PADL
2012
Springer
14 years 7 days ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
168
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
The Multiscale Hemodynamics Project is a collaboration of doctors, physicists, and computational scientists working together to model human blood flow through the coronary arterie...
217
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
105
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—This paper presents Cramér-Rao bound-like inequalities for pose tracking, which is defined as the problem of recovering the robot displacement given two successive rea...