1928 search results - page 270 / 386 » Integrity Constraints in OWL |
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
This paper presents a realtime, incremental multibody visual SLAM system that allows choosing between full 3D reconstruction or simply tracking of the moving objects. Motion recon...
FROCOS
2011
Springer
12 years 9 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
BMCBI
2007
13 years 10 months ago
2007
Background: There is a need for software applications that provide users with a complete and extensible toolkit for chemo- and bioinformatics accessible from a single workbench. C...
DATAMINE
2006
13 years 10 months ago
2006
Different from traditional association-rule mining, a new paradigm called Ratio Rule (RR) was proposed recently. Ratio rules are aimed at capturing the quantitative association kno...