1458 search results - page 187 / 292 » Extended Term Rewriting Systems |
116
Voted
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
118
click to vote
TIT
2002
15 years 21 days ago
2002
Generalization bounds depending on the margin of a classifier are a relatively recent development. They provide an explanation of the performance of state-of-the-art learning syste...
108
Voted
JCS
2010
14 years 11 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
105
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
The objective of this work is to derive quantitative statements about what fraction of web search queries issued to the state-of-the-art commercial search engines lead to excellen...
WWW
2011
ACM
14 years 8 months ago
2011
ACM
Data about everything is readily available on the web—but often only accessible through elaborate user interactions. For automated decision support, extracting that data is esse...