Sciweavers

1387 search results - page 156 / 278
» Effective Generalization of Relational Descriptions
Sort
View
SIGMOD
2009
ACM
291views Database» more  SIGMOD 2009»
15 years 10 months ago
Partial join order optimization in the paraccel analytic database
The ParAccel Analytic DatabaseTM is a fast shared-nothing parallel relational database system with a columnar orientation, adaptive compression, memory-centric design, and an enha...
Yijou Chen, Richard L. Cole, William J. McKenna, S...
MOBIHOC
2006
ACM
15 years 9 months ago
Robust distributed node localization with error management
Location knowledge of nodes in a network is essential for many tasks such as routing, cooperative sensing, or service delivery in ad hoc, mobile, or sensor networks. This paper in...
Juan Liu, Ying Zhang, Feng Zhao
VMCAI
2005
Springer
15 years 3 months ago
Optimizing Bounded Model Checking for Linear Hybrid Systems
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
Erika Ábrahám, Bernd Becker, Felix K...
ICRA
2003
IEEE
129views Robotics» more  ICRA 2003»
15 years 3 months ago
Self-positioning with an omni-directional stereo system
— This paper presents a self-positioning system for the mobile robot. The proposed positioning system consists of a stereo setup of two ODVs (Omni-Directional Vision) for obtaini...
Jyun-ichi Eino, Toshinobu Takashi, Jun-ichi Takigu...
KCAP
2009
ACM
15 years 2 months ago
Cross ontology query answering on the semantic web: an initial evaluation
PowerAqua1 is a Question Answering system, which takes as input a natural language query and is able to return answers drawn from relevant semantic resources found anywhere on the...
Vanessa Lopez, Victoria S. Uren, Marta Sabou, Enri...