154 search results - page 6 / 31 » Comparison of Process Algebra Equivalences Using Formats |
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
In this work, we employ a complex representation for an algebraic curve, and illustrate how the algebraic transformation which relates two Euclidean equivalent curves can be deter...
AAAI
2007
14 years 12 months ago
2007
The formation of internet-based social networks has revived research on traditional social network models as well as interest-matching, or match-making, systems. In order to autom...
100
click to vote
IFIP
2004
Springer
15 years 2 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
UAI
2003
14 years 11 months ago
2003
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward functio...
107
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
Connectivity analysis methodology is suitable to find representative symptoms of a disease. This methodology describes connections between symptoms in particular way and then choos...