4353 search results - page 212 / 871 » Expressiveness of Process Algebras |
166
click to vote
AAAI
1990
15 years 7 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
167
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
154
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, we present a powerful technique for the blind extraction of direct-sequence code-division multiple access (DS-CDMA) signals from convolutive mixtures received by an ...
138
click to vote
RIVF
2007
15 years 8 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
136
click to vote
JCIT
2010
15 years 1 months ago
2010
Much information over the Internet is expressed by natural languages. The management of linguistic information involves an operation of comparison and aggregation. In this paper, ...