Sciweavers

5205 search results - page 221 / 1041
» Tilings and model theory
Sort
View
INFOCOM
2003
IEEE
14 years 4 months ago
Pricing strategies under heterogeneous service requirements
— This paper analyzes a communication network with heterogeneous customers. We investigate priority queueing as a way to differentiate between these users. Customers join the net...
Michel Mandjes
CIE
2006
Springer
14 years 2 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
AAAI
1998
14 years 3 days ago
Supermodels and Robustness
When search techniques are used to solve a practical problem, the solution produced is often brittle in the sense that small execution difficulties can have an arbitrarily large e...
Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Ro...
JSYML
2007
62views more  JSYML 2007»
13 years 10 months ago
A reduction of the NF consistency problem
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
Athanassios Tzouvaras
VIS
2007
IEEE
132views Visualization» more  VIS 2007»
15 years 9 hour ago
Registration Techniques for Using Imperfect and Partially Calibrated Devices in Planar Multi-Projector Displays
Abstract-- Multi-projector displays today are automatically registered, both geometrically and photometrically, using cameras. Existing registration techniques assume pre-calibrate...
Ezekiel Bhasker, Ray Juang, Aditi Majumder