Sciweavers

1928 search results - page 305 / 386
» Integrity Constraints in OWL
Sort
View
NMR
2004
Springer
15 years 11 months ago
Consistency-based approaches to merging knowledge bases: preliminary report
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
James P. Delgrande, Torsten Schaub
SAS
2004
Springer
15 years 11 months ago
Generalized Records and Spatial Conjunction in Role Logic
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
Viktor Kuncak, Martin C. Rinard
SAT
2004
Springer
97views Hardware» more  SAT 2004»
15 years 11 months ago
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
Vasco M. Manquinho, João P. Marques Silva
3DIM
2003
IEEE
15 years 11 months ago
Silhouette and Stereo Fusion for 3D Object Modeling
In this paper, we present a new approach to high quality 3D object reconstruction. Starting from a calibrated sequence of color images, the algorithm is able to reconstruct both t...
Carlos Hernández Esteban, Francis Schmitt
AMFG
2003
IEEE
126views Biometrics» more  AMFG 2003»
15 years 11 months ago
Rank Constrained Recognition under Unknown Illuminations
Recognition under illumination variations is a challenging problem. The key is to successfully separate the illumination source from the observed appearance. Once separated, what ...
Shaohua Kevin Zhou, Rama Chellappa