3690 search results - page 454 / 738 » Computation with classical sequents |
170
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Inspired by Weber's Law, this paper proposes a simple, yet very powerful and robust local descriptor, Weber Local Descriptor (WLD). It is based on the fact that human percept...
214
click to vote
ECCB
2008
IEEE
16 years 1 months ago
2008
IEEE
Living cells are the product of gene expression programs that involve the regulated transcription of thousands of genes. The elucidation of transcriptional regulatory networks in ...
179
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
In the classic minimum makespan scheduling problem, we are given an input sequence of jobs with processing times. A scheduling algorithm has to assign the jobs to m parallel machi...
189
Voted
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
170
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Point-of-interest detection is a way of reducing the amount of data that needs to be processed in a certain application and is widely used in 2D image analysis. In 2D image analys...