Sciweavers

2291 search results - page 416 / 459
» Representational Reasoning and Verification
Sort
View
ICOODB
2009
94views Database» more  ICOODB 2009»
13 years 5 months ago
Metamodelling with Datalog and Classes: ConceptBase at the Age of 21
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...
Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nisse...
ICRA
2009
IEEE
126views Robotics» more  ICRA 2009»
13 years 5 months ago
Time-bounded lattice for efficient planning in dynamic environments
For vehicles navigating initially unknown cluttered environments, current state-of-the-art planning algorithms are able to plan and re-plan dynamically-feasible paths efficiently a...
Aleksandr Kushleyev, Maxim Likhachev
CVPR
2011
IEEE
13 years 3 months ago
High-resolution Hyperspectral Imaging via Matrix Factorization
Hyperspectral imaging is a promising tool for applications in geosensing, cultural heritage and beyond. However, compared to current RGB cameras, existing hyperspectral cameras ar...
Rei Kawakami, John Wright, Yu-Wing Tai, Yasuyuki M...
TCOM
2011
155views more  TCOM 2011»
13 years 2 months ago
Asymptotically Optimal Model Estimation for Quantization
—Using high-rate theory approximations we introduce flexible practical quantizers based on possibly non-Gaussian models in both the constrained resolution (CR) and the constrain...
Alexey Ozerov, W. Bastiaan Kleijn
TKDE
2011
176views more  TKDE 2011»
13 years 2 months ago
Experience Transfer for the Configuration Tuning in Large-Scale Computing Systems
—This paper proposes a new strategy, the experience transfer, to facilitate the management of large-scale computing systems. It deals with the utilization of management experienc...
Haifeng Chen, Wenxuan Zhang, Guofei Jiang