Sciweavers

9485 search results - page 119 / 1897
» Research on Brain-Like Computer
Sort
View
SAC
2008
ACM
14 years 9 months ago
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F
Francesco Logozzo, Manuel Fähndrich
VR
2010
IEEE
188views Virtual Reality» more  VR 2010»
14 years 8 months ago
Illuminating the past: state of the art
Virtual reconstruction and representation of historical environments and objects have been of research interest for nearly two decades. Physically-based and historically accurate ...
Jassim Happa, Mark Mudge, Kurt Debattista, Alessan...
FOCS
2007
IEEE
15 years 4 months ago
Covert Multi-Party Computation
In STOC’05, Ahn, Hopper and Langford introduced the notion of covert computation. A covert computation protocol is one in which parties can run a protocol without knowing if oth...
Nishanth Chandran, Vipul Goyal, Rafail Ostrovsky, ...

Lab
641views
16 years 6 months ago
Computational Biomedicine Lab
www.cbl.uh.edu The Computational Biomedicine Lab (CBL) was established in 1997 at the University of Houston and is committed to excellence in image analysis, with an emphasis on ap...
SIGGRAPH
2000
ACM
15 years 2 months ago
Adaptively sampled distance fields: a general representation of shape for computer graphics
Adaptively Sampled Distance Fields (ADFs) are a unifying representation of shape that integrate numerous concepts in computer graphics including the representation of geometry and...
Sarah F. Frisken Gibson, Ronald N. Perry, Alyn P. ...