923 search results - page 83 / 185 » Proving the value of formal methods |
146
click to vote
APAL
2008
15 years 6 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
162
click to vote
JMLR
2010
15 years 29 days ago
2010
In this paper we consider a regularization approach to variable selection when the regression function depends nonlinearly on a few input variables. The proposed method is based o...
138
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Power dissipation during test is a major challenge in testing integrated circuits. Dynamic power has been the dominant part of power dissipation in CMOS circuits, however, in futu...
184
click to vote
ICALP
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Congestion games model several interesting applications, including routing and network formation games, and also possess attractive theoretical properties, including the ...
130
click to vote
FORMATS
2005
Springer
15 years 11 months ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...