Sciweavers

3745 search results - page 575 / 749
» Sonic: System Description
Sort
View
FROCOS
2007
Springer
15 years 10 months ago
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
Roberto Sebastiani
3DPVT
2006
IEEE
247views Visualization» more  3DPVT 2006»
15 years 10 months ago
Contour-Based Object Detection in Range Images
This paper presents a novel object recognition approach based on range images. Due to its insensitivity to illumination, range data is well suited for reliable silhouette extracti...
Stefan Stiene, Kai Lingemann, Andreas Nüchter...
AINA
2004
IEEE
15 years 10 months ago
Analysis of Grid Service Composition with BPEL4WS
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...
Kuo-Ming Chao, Muhammad Younas, Nathan Griffiths, ...
APWEB
2006
Springer
15 years 10 months ago
An RDF Storage and Query Framework with Flexible Inference Strategy
In the Semantic Web, RDF (Resource Description Framework) and RDF Schema are commonly used to describe metadata. There are a great many RDF data in current web, therefore, efficien...
Wennan Shen, Yuzhong Qu
ECBS
2004
IEEE
115views Hardware» more  ECBS 2004»
15 years 10 months ago
Supporting Evolutionary Development by Feature Models and Traceability Links
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
Matthias Riebisch