959 search results - page 30 / 192 » Transfers between Logics and their Applications |
136
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
126
click to vote
ENTCS
2008
15 years 2 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
115
click to vote
ACL
1990
15 years 3 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
106
click to vote
CGF
2007
15 years 1 months ago
2007
In this paper, we show how recent GPUs can be used to very efficiently and conveniently sample the visibility between two surfaces, given a set of occluding triangles. We use bitw...
114
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we propose an analytical approach for estimating the reliability of a component-based software. This methodology assumes that the software components are heterogeneo...