464 search results - page 52 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
69
Voted
ISQED
2003
IEEE
15 years 3 months ago
2003
IEEE
A structurally testable delay fault might become untestable in the functional mode of the circuit due to logic or timing constraints or both. Experimental data suggests that there...
SSDBM
1998
IEEE
15 years 2 months ago
1998
IEEE
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...
101
Voted
ICGI
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
79
Voted
AAAI
2008
15 years 15 days ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
OPODIS
2004
14 years 11 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...