2920 search results - page 318 / 584 » Finite information logic |
153
Voted
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
178
click to vote
ISCIS
2004
Springer
16 years 3 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
172
click to vote
IPPS
2003
IEEE
16 years 13 hour ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
201
click to vote
ERLANG
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
168
Voted
DAWAK
2003
Springer
15 years 12 months ago
2003
Springer
On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. In this paper we introduce the Cube Presentation Model (CPM), a ...