4987 search results - page 402 / 998 » Fuzzifying P Systems |
146
click to vote
ACL
2001
15 years 8 months ago
2001
Multi-processor systems are becoming more commonplace and affordable. Based on analyses of actual parsings, we argue that to exploit the capabilities of such machines, unification...
152
click to vote
NAACL
2003
15 years 8 months ago
2003
The QCS information retrieval (IR) system is presented as a tool for querying, clustering, and summarizing document sets. QCS has been developed as a modular development framework...
164
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: The Distributed Annotation System (DAS) is a network protocol for exchanging biological data. It is frequently used to share annotations of genomes and protein sequenc...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
154
click to vote
OPODIS
2007
15 years 8 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...