4211 search results - page 607 / 843 » Types as Abstract Interpretations |
157
click to vote
MST
2008
15 years 6 months ago
2008
We investigate the complexity of the satisfiability problem of constraints over finite totally ordered domains. In our context, a clausal constraint is a disjunction of inequaliti...
174
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...
139
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
Abstract This paper introduces cost curves, a graphical technique for visualizing the performance (error rate or expected cost) of 2-class classifiers over the full range of possib...
156
click to vote
MP
2006
15 years 6 months ago
2006
Abstract. Interval analysis is a powerful tool which allows to design branch-and-bound algorithms able to solve many global optimization problems. In this paper we present new adap...
222
click to vote
NGC
2006
Springer
15 years 6 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...