3028 search results - page 299 / 606 » Integrating Temporal Logics |
223
click to vote
AAAI
2007
15 years 9 months ago
2007
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
169
click to vote
AAAI
2006
15 years 8 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
191
click to vote
SCP
1998
15 years 6 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
198
click to vote
RTCSA
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
165
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....