4192 search results - page 715 / 839 » Probabilistic Logic Programming |
109
click to vote
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
117
click to vote
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
139
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
153
click to vote
DBPL
1995
Springer
15 years 6 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
135
click to vote
VLDB
1991
ACM
15 years 6 months ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...