Sciweavers

24 search results - page 2 / 5
» Generic cuts in models of arithmetic
Sort
View
JCP
2006
131views more  JCP 2006»
13 years 5 months ago
Compression of Short Text on Embedded Systems
Abstract-- The paper details a scheme for lossless compression of short data series larger than 50 Bytes. The method uses arithmetic coding and context modeling with a low-complexi...
Stephan Rein, Clemens Gühmann, Frank H. P. Fi...
CIE
2006
Springer
13 years 9 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
ICCV
2007
IEEE
14 years 7 months ago
Graph-Cut Transducers for Relevance Feedback in Content Based Image Retrieval
Closing the semantic gap in content based image retrieval (CBIR) basically requires the knowledge of the user's intention which is usually translated into a sequence of quest...
Hichem Sahbi, Jean-Yves Audibert, Renaud Keriven
FUN
2007
Springer
98views Algorithms» more  FUN 2007»
13 years 11 months ago
Die Another Day
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
Rudolf Fleischer
IOR
2011
152views more  IOR 2011»
13 years 9 days ago
Risk-Averse Two-Stage Stochastic Linear Programming: Modeling and Decomposition
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
Naomi Miller, Andrzej Ruszczynski