Amanote Research
Register
Sign In
Eventual Linear Ranking Functions
doi 10.1145/2505879.2505884
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
Roberto Bagnara
Fred Mesnard
Publisher
ACM Press
Related search
Enhanced Job Ranking Backfilling Based on Linear and Logarithmic Ranking Equations
International Journal of Integrated Engineering
Mechanics of Materials
Electronic Engineering
Industrial
Mechanical Engineering
Materials Science
Civil
Manufacturing Engineering
Electrical
Structural Engineering
Invariant Linear Functions
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Policy Iteration-Based Conditional Termination and Ranking Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Active Evaluation of Ranking Functions Based on Graded Relevance
Machine Learning
Artificial Intelligence
Software
Eventual Consistency for CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Correlations of Multiplicative Functions
Proceedings of the London Mathematical Society
Mathematics
Continuous Linear Extension of Functions
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Nonoscillation and Eventual Disconjugacy
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Linear Operations Among Summable Functions
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary