5863 search results - page 1053 / 1173 » On Model-Checking of P Systems |
126
click to vote
IMECS
2007
15 years 5 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
131
click to vote
MASCOTS
2007
15 years 5 months ago
2007
—In this paper, we present a novel approach for improving the performance of a large class of CPU and memory intensive passive network monitoring applications, such as intrusion ...
132
click to vote
NIPS
2007
15 years 5 months ago
2007
We present a novel paradigm for statistical machine translation (SMT), based on a joint modeling of word alignment and the topical aspects underlying bilingual document-pairs, via...
126
click to vote
AAAI
2006
15 years 5 months ago
2006
We study the complexity of influencing elections through bribery: How computationally complex is it for an external actor to determine whether by a certain amount of bribing voter...
125
click to vote
AAAI
2006
15 years 5 months ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...