Sciweavers

242 search results - page 16 / 49
» Variable resolution triangulations
Sort
View
INFOCOM
2000
IEEE
14 years 24 days ago
Collision Avoidance and Resolution Multiple Access for Multichannel Wireless Networks
Abstract—We introduce and analyze CARMA-MC (for Collision Avoidance and Resolution Multiple Access MultiChannel), a new stable channel access protocol for multihop wireless netwo...
Rodrigo Garcés, J. J. Garcia-Luna-Aceves
SDM
2009
SIAM
126views Data Mining» more  SDM 2009»
14 years 5 months ago
An Entity Based Model for Coreference Resolution.
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...
Michael L. Wick, Aron Culotta, Khashayar Rohaniman...
IGARSS
2009
13 years 6 months ago
The Medium Resolution Soil Moisture Dataset: Overview of the SHARE ESA DUE TIGER Project
To address the needs of the hydrological community for medium resolution soil moisture dataset an approach developed at the TU WIEN for the coarse resolution ERS/METOP datasets ha...
Marcela Doubkova, Annett Bartsch, Carsten Pathe, D...
SIAMCOMP
2002
112views more  SIAMCOMP 2002»
13 years 8 months ago
The Efficiency of Resolution and Davis--Putnam Procedures
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
Paul Beame, Richard M. Karp, Toniann Pitassi, Mich...
CAV
2011
Springer
234views Hardware» more  CAV 2011»
13 years 12 hour ago
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
Valeriy Balabanov, Jie-Hong R. Jiang