778 search results - page 65 / 156 » Improved universal denominators |
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
ALT
2007
Springer
15 years 6 months ago
2007
Springer
It has been recently shown that calibration with an error less than ∆ > 0 is almost surely guaranteed with a randomized forecasting algorithm, where forecasts are obtained by...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
This Research in Progress paper analyses users’ requirements for the development of a Virtual Community (VC) for the academic SAP UCC (University Competence Center) User Group. ...
IFL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
MDM
2007
Springer
15 years 3 months ago
2007
Springer
Mobile collaborative environments, being naturally loosely-coupled, call for optimistic replication solutions in order to attain the requirement of decentralized highly available ...