33 search results - page 4 / 7 » Factored Models for Probabilistic Modal Logic |
ER
2007
Springer
15 years 3 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
113
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
In recent years, both hashing-based similarity search and multimodal similarity search have aroused much research interest in the data mining and other communities. While hashing-...
RECOMB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
GLVLSI
2005
IEEE
15 years 5 months ago
2005
IEEE
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
128
click to vote
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...