Sciweavers

2478 search results - page 119 / 496
» Universality in two dimensions
Sort
View
ECCC
2010
103views more  ECCC 2010»
15 years 6 months ago
Time-Space Efficient Simulations of Quantum Computations
We give two time- and space-efficient simulations of quantum computations with intermediate measurements, one by classical randomized computations with unbounded error and the oth...
Dieter van Melkebeek, Thomas Watson
IGPL
2008
67views more  IGPL 2008»
15 years 6 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki
JSYML
2010
72views more  JSYML 2010»
15 years 4 months ago
A form of feasible interpolation for constant depth Frege systems
Let L be a first-order language and Φ and Ψ two Σ1 1 L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle Cha...
Jan Krajícek
ICASSP
2011
IEEE
14 years 10 months ago
Risk management for trading in multiple frequencies
We present fundamental concepts of risk and propose two methods for risk management of a portfolio in this paper. Moreover, we introduce their novel extensions to trading in multi...
Mustafa U. Torun, Ali N. Akansu, Marco Avellaneda
ICCV
2009
IEEE
15 years 4 months ago
Efficient indexing for large scale visual search
With the popularity of "bag of visual terms" representations of images, many text indexing techniques have been applied in large-scale image retrieval systems. However, ...
Xiao Zhang, Zhiwei Li, Lei Zhang, Wei-Ying Ma, Heu...