1127 search results - page 72 / 226 » Theory Extension in ACL2(r) |
82
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
A fundamental challenge in Internet computing (IC) is to efficiently schedule computations having complex interjob dependencies, given the unpredictability of remote machines, in...
102
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
78
Voted
SAC
2005
ACM
15 years 6 months ago
2005
ACM
Based on the idea that the closer the query terms in a document are, the more relevant this document is, we propose a mathematical model of information retrieval based on a fuzzy ...
91
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
140
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...