7404 search results - page 1197 / 1481 » New Tools in Education |
190
click to vote
SARA
2007
Springer
16 years 28 days ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
201
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
183
click to vote
STACS
2007
Springer
16 years 28 days ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
167
click to vote
WAIM
2007
Springer
16 years 28 days ago
2007
Springer
The constructions of Haar wavelet synopses for large data sets have proven to be useful tools for data approximation. Recently, research on constructing wavelet synopses with a gua...
178
click to vote
WINE
2007
Springer
16 years 28 days ago
2007
Springer
This paper characterizes the family of truthful doublesided auctions. Despite the importance of double-sided auctions to market design, to date no characterization of truthful dou...