Sciweavers

1052 search results - page 106 / 211
» Foundations for Virtual Types
Sort
View
CVPR
2005
IEEE
14 years 11 months ago
Multi-View Geometry for General Camera Models
We consider the structure from motion problem for a previously introduced, highly general imaging model, where cameras are modeled as possibly unconstrained sets of projection ray...
Peter F. Sturm
ISPASS
2009
IEEE
14 years 3 months ago
Lonestar: A suite of parallel irregular programs
Until recently, parallel programming has largely focused on the exploitation of data-parallelism in dense matrix programs. However, many important application domains, including m...
Milind Kulkarni, Martin Burtscher, Calin Cascaval,...
DSN
2007
IEEE
14 years 3 months ago
Fault Tolerant Approaches to Nanoelectronic Programmable Logic Arrays
Programmable logic arrays (PLA), which can implement arbitrary logic functions in a two-level logic form, are promising as platforms for nanoelectronic logic due to their highly r...
Wenjing Rao, Alex Orailoglu, Ramesh Karri
PPDP
2007
Springer
14 years 3 months ago
Relational semantics for effect-based program transformations with dynamic allocation
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
ECRA
2007
139views more  ECRA 2007»
13 years 8 months ago
Common structure and properties of filtering systems
Recommendation systems have been studied actively since the 1990s. Generally, recommendation systems choose one or more candidates from a set of candidates through a filtering pro...
Junichi Iijima, Sho Ho