8780 search results - page 198 / 1756 » On the Feasibility of Consistent Computations |
175
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
179
click to vote
CAAP
1990
15 years 10 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
138
click to vote
CONEXT
2005
ACM
15 years 9 months ago
2005
ACM
— Recent advances in wireless technology make high data rate communication in short ranges feasible. The network instances of short-range paths that may achieve high data rates a...
214
Voted
ACL
2012
13 years 9 months ago
2012
In this paper we introduce the novel task of “word epoch disambiguation,” defined as the problem of identifying changes in word usage over time. Through experiments run using...
180
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
With the advent of deep-submicron technologies, it has become essential to model the impact of physical/layout effects up front in all design flows [1]. The effect of layout paras...