4178 search results - page 824 / 836 » Similarity Patterns in Language |
APN
2001
Springer
14 years 28 days ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
ASIACRYPT
2001
Springer
14 years 28 days ago
2001
Springer
The number of communication rounds is a classic complexity measure for protocols; reducing round complexity is a major goal in protocol design. However, when the communication time...
DIS
2001
Springer
14 years 27 days ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
LPAR
2001
Springer
14 years 25 days ago
2001
Springer
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
ELPUB
2000
ACM
14 years 23 days ago
2000
ACM
Electronic publishing, and in particular Web-based publishing, has assumed an increasing importance in higher education. The possibility of delivering learning material to students...