Sciweavers

727 search results - page 4 / 146
» Finite Resolution Dynamics
Sort
View
ICC
2009
IEEE
184views Communications» more  ICC 2009»
14 years 2 months ago
A 3-D Markov Chain Queueing Model of IEEE 802.11 DCF with Finite Buffer and Load
—We introduce a 3-dimensional Markov chain that integrates the IEEE 802.11 DCF contention resolution and queueing processes into one model. Important QoS measures, delay and loss...
Ren Ping Liu, Gordon Sutton, Iain B. Collings
IJISTA
2008
164views more  IJISTA 2008»
13 years 7 months ago
Combining Time-Of-Flight depth and stereo images without accurate extrinsic calibration
: We combine a low resolution time-of-flight depth image camera based on photonic mixer devices with two standard cameras in a stereo configuration. We show that this approach is u...
Uwe Hahne, Marc Alexa
CVPR
1998
IEEE
14 years 9 months ago
Nonrigid Motion Analysis Based on Dynamic Refinement of Finite Element Models
Leonid V. Tsap, Dmitry B. Goldgof, Sudeep Sarkar
CIE
2010
Springer
13 years 9 months ago
The Limits of Tractability in Resolution-Based Propositional Proof Systems
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
Stefan S. Dantchev, Barnaby Martin
JCSS
2008
96views more  JCSS 2008»
13 years 7 months ago
A combinatorial characterization of resolution width
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
Albert Atserias, Víctor Dalmau