570 search results - page 76 / 114 » Alternating Projections on Manifolds |
179
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
Context photography consists of capturing context when taking a still picture, by sensing physical input in addition to light and representing it visually in real time. With this ...
166
click to vote
DGO
2008
15 years 7 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
175
click to vote
JAR
2006
15 years 5 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
138
click to vote
ISBI
2002
IEEE
16 years 6 months ago
2002
IEEE
In PET imaging listmode is an alternative for projections to store the acquisition data with more accuracy. The reconstruction starting from the listmode format requires different...
176
click to vote
MKM
2009
Springer
16 years 13 days ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...