Sciweavers

532 search results - page 10 / 107
» Data Integration Hub for a Hybrid Paper Search
Sort
View
WWW
2004
ACM
14 years 8 months ago
A hybrid approach for searching in the semantic web
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
Cristiano Rocha, Daniel Schwabe, Marcus Poggi de A...
EUROPAR
2008
Springer
13 years 9 months ago
Exploiting Hybrid Parallelism in Web Search Engines
Abstract. With the emergence of multi-core CPU (or Chip-level MultiProcessor -CMP-), it is essential to develop techniques that capitalize on CMP's advantages to speed up very...
Carolina Bonacic, Carlos García, Mauricio M...
CAV
2007
Springer
145views Hardware» more  CAV 2007»
13 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
14 years 2 months ago
A new hybrid solution to boost SAT solver performance
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
Lei Fang, Michael S. Hsiao
AP2PC
2004
Springer
14 years 1 months ago
Peer-to-Peer Semantic Integration of XML and RDF Data Sources
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...
Isabel F. Cruz, Huiyong Xiao, Feihong Hsu