2025 search results - page 161 / 405 » On the Utility of Inference Mechanisms |
POPL
2010
ACM
14 years 7 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
WWW
2009
ACM
14 years 4 months ago
2009
ACM
Tagging has emerged as a powerful mechanism that enables users to find, organize, and understand online entities. Recommender systems similarly enable users to efficiently navig...
MLDM
2007
Springer
14 years 3 months ago
2007
Springer
Transduction is an inference mechanism “from particular to particular”. Its application to classification tasks implies the use of both labeled (training) data and unlabeled (...
SIGMETRICS
2005
ACM
14 years 3 months ago
2005
ACM
Statistical information about the flow sizes in the traffic passing through a network link helps a network operator to characterize network resource usage, infer traffic demands,...
POPL
1992
ACM
14 years 1 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...