8228 search results - page 313 / 1646 » Structural Logical Relations |
183
click to vote
CSL
2005
Springer
16 years 7 days ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
215
click to vote
FPGA
1992
ACM
15 years 10 months ago
1992
ACM
The new family of Field Programmable Gate Arrays, CLI6000 from Concurrent Logic Inc realizes the truly Cellular Logic. It has been mainly designed for the realization of data path...
167
click to vote
SIGIR
1993
ACM
15 years 10 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
188
click to vote
SYNASC
2006
IEEE
16 years 21 days ago
2006
IEEE
Mining relational data often boils down to computing clusters, that is finding sub-communities of data elements forming cohesive sub-units, while being well separated from one an...