5109 search results - page 95 / 1022 » On Learning Limiting Programs |
204
click to vote
Book
One of the best books to learn Scheme and functional programming concepts. The book is freely available online. It is full of examples and exercises suitable for various levels of ...
111
Voted
EUROGP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
The paper extends the notion of linear programming boosting to handle uneven datasets. Extensive experiments with text classification problem compare the performance of a number o...
115
click to vote
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
This paper describes E-Slate (http://E-Slate.cti.gr), an exploratory learning environment that builds on a componentbased approach, to enable end-users to create educational softw...
127
Voted
NSDI
2008
15 years 4 months ago
2008
I provide several lessons learned from running a number of conference program committees over the past decade, as well as some additional thoughts on conference organization and t...