2025 search results - page 41 / 405 » On the Utility of Inference Mechanisms |
APLAS
2004
ACM
14 years 25 days ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
SYNTHESE
2011
13 years 4 months ago
2011
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Existing transport protocols, be it TCP, SCTP or DCCP, do not provide an efficient congestion control mechanism for heterogeneous wired-cum-wireless networks. Solutions involving i...
WECWIS
2005
IEEE
14 years 2 months ago
2005
IEEE
Many e-services are time-sensitive as the users request them for a specific time period. Such services need to be repeatedly offered to keep them constantly utilized. This paper s...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Mechanisms utilizing rigid links and relatively small flexural joints are very suitable for fabrication at the meso scale. The Micromechanical Flying Insect (MFI) project at U...