2203 search results - page 119 / 441 » Temporal Abstract Interpretation |
157
click to vote
CONSTRAINTS
1998
15 years 3 months ago
1998
Abstract. Temporal Constraint Satisfaction is an information technology useful for representing and answering queries about the times of events and the temporal relations between t...
201
click to vote
WRLA
2010
15 years 1 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
112
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
78
Voted
JSYML
2006
15 years 3 months ago
2006
Abstract. We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.
139
Voted
AIR
2006
15 years 3 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...