Sciweavers

27274 search results - page 5422 / 5455
» A framework for framework documentation
Sort
View
CORR
2011
Springer
174views Education» more  CORR 2011»
13 years 7 days ago
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
Yoshitaka Kameya, Taisuke Sato
CORR
2011
Springer
142views Education» more  CORR 2011»
13 years 7 days ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 7 days ago
Heterogeneous Cellular Networks with Flexible Cell Association: A Comprehensive Downlink SINR Analysis
In this paper we develop a tractable framework for SINR analysis in downlink heterogeneous cellular networks (HCNs) with flexible cell association policies. The HCN is modeled as...
Han-Shin Jo, Young Jin Sang, Ping Xia, Jeffrey G. ...
CORR
2011
Springer
174views Education» more  CORR 2011»
13 years 7 days ago
GPS Signal Acquisition via Compressive Multichannel Sampling
In this paper, we propose an efficient acquisition scheme for GPS receivers. It is shown that GPS signals can be effectively sampled and detected using a bank of randomized corre...
Xiao Li, Andrea Rueetschi, Yonina C. Eldar, Anna S...
FGR
2011
IEEE
288views Biometrics» more  FGR 2011»
13 years 6 days ago
Hierarchical CRF with product label spaces for parts-based models
— Non-rigid object detection is a challenging open research problem in computer vision. It is a critical part in many applications such as image search, surveillance, humancomput...
Gemma Roig, Xavier Boix Bosch, Fernando De la Torr...
« Prev « First page 5422 / 5455 Last » Next »