Sciweavers

2291 search results - page 416 / 459
» Representational Reasoning and Verification
Sort
View
ICOODB
2009
94views Database» more  ICOODB 2009»
15 years 2 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»
15 years 2 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
14 years 11 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»
14 years 11 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»
14 years 11 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