778 search results - page 65 / 156 » Improved universal denominators |
155
Voted
ICFP
2004
ACM
16 years 6 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...
167
click to vote
ALT
2007
Springer
16 years 2 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...
153
click to vote
HICSS
2008
IEEE
16 years 13 days 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. ...
162
Voted
IFL
2007
Springer
16 years 4 days 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...
148
click to vote
MDM
2007
Springer
16 years 3 days 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 ...