Sciweavers

661 search results - page 62 / 133
» Combining Information using Hard Constraints
Sort
View
222
Voted
POPL
2003
ACM
16 years 25 days ago
Discovering affine equalities using random interpretation
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
Sumit Gulwani, George C. Necula
IVC
2010
289views more  IVC 2010»
14 years 11 months ago
Automatic 3D object segmentation in multiple views using volumetric graph-cuts
We propose an algorithm for automatically obtaining a segmentation of a rigid object in a sequence of images that are calibrated for camera pose and intrinsic parameters. Until re...
Neill D. F. Campbell, George Vogiatzis, Carlos Her...
IADIS
2003
15 years 1 months ago
A Unifying Approach for Interface Adaptation
It is sometimes a challenge to untangle the large amount of information on the Web. We thus need to adapt this information to a given user in a particular context. This adaptation...
Mathieu Barcikowski, Jean-Charles Marty, Laurence ...
ICS
2010
Tsinghua U.
15 years 10 months ago
Cryptography by Cellular Automata or How Fast Can Complexity Emerge in Nature?
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
Benny Applebaum, Yuval Ishai, Eyal Kushilevitz
114
Voted
ICCAD
2009
IEEE
179views Hardware» more  ICCAD 2009»
14 years 10 months ago
Automatic memory partitioning and scheduling for throughput and power optimization
Hardware acceleration is crucial in modern embedded system design to meet the explosive demands on performance and cost. Selected computation kernels for acceleration are usually ...
Jason Cong, Wei Jiang, Bin Liu, Yi Zou