Sciweavers

4100 search results - page 221 / 820
» General Linear Cameras
Sort
View
ICC
2008
IEEE
115views Communications» more  ICC 2008»
16 years 1 months ago
On the Performance of Linear Least-Squares Estimation in Wireless Positioning Systems
A common technique for wireless positioning is to estimate time-of-arrivals (TOAs) of signals traveling between a target node and a number of reference nodes, and then to determin...
Sinan Gezici, Ismail Güvenç, Zafer Sah...
DAGSTUHL
2004
15 years 8 months ago
Optimal Approximation of Elliptic Problems by Linear and Nonlinear Mappings
We study the optimal approximation of the solution of an operator equation A(u) = f by four types of mappings: a) linear mappings of rank n; b) n-term approximation with respect t...
Erich Novak, Stephan Dahlke, Winfried Sickel
ATAL
2010
Springer
15 years 7 months ago
Linear options
Learning, planning, and representing knowledge in large state t multiple levels of temporal abstraction are key, long-standing challenges for building flexible autonomous agents. ...
Jonathan Sorg, Satinder P. Singh
VEE
2005
ACM
143views Virtualization» more  VEE 2005»
16 years 5 days ago
Optimized interval splitting in a linear scan register allocator
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
Christian Wimmer, Hanspeter Mössenböck
PPDP
2010
Springer
15 years 5 months ago
Type inference in intuitionistic linear logic
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
Patrick Baillot, Martin Hofmann