2432 search results - page 359 / 487 » Cryptographic logical relations |
165
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
164
click to vote
FSKD
2007
Springer
16 years 12 days ago
2007
Springer
A proposed KFCM-based fuzzy classifier was introduced. As for the process of constructing such classifier, firstly, the original sample space is mapped into a high dimensional fea...
130
click to vote
IFSA
2007
Springer
16 years 12 days ago
2007
Springer
Typically the response of a multilayered perceptron (MLP) network on points which are far away from the boundary of its training data is not very reliable. When test data points ar...
193
click to vote
OTM
2007
Springer
16 years 11 days ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
167
click to vote
SARA
2007
Springer
16 years 11 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...