6829 search results - page 149 / 1366 » Quantitative Generalizations of Languages |
145
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
164
click to vote
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
Capitalizing on the intuitive underlying assumptions of Language Modelling for Ad-Hoc Retrieval we present a novel approach that is capable of injecting the user’s context of th...
142
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
142
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
134
Voted
POPL
1996
ACM
15 years 9 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...