5230 search results - page 656 / 1046 » Dynamic Optimality -- Almost |
228
Voted
TLDI
2005
ACM
16 years 1 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
246
Voted
MDM
2005
Springer
16 years 1 months ago
2005
Springer
Data access prediction has been proposed as a mechanism to overcome latency lag, and more recently as a means of conserving energy in mobile systems. We present a fully adaptive p...
193
Voted
ISPD
2003
ACM
16 years 29 days ago
2003
ACM
Delay evaluation is always a crucial concern in the VLSI design and it becomes increasingly more critical in the nowadays deep-submicron technology. To obtain an accurate delay va...
241
Voted
FUN
2010
Springer
16 years 15 days ago
2010
Springer
Abstract. We analyze the computational complexity of various twodimensional platform games. We identify common properties of these games that allow us to state several meta-theorem...
215
Voted
AIME
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...