3356 search results - page 451 / 672 » Computing education for sustainability |
206
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Motivated by the desire to cope with data imprecision [8], we study methods for preprocessing a set of planar regions such that whenever we are given a set of points, each of whic...
225
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We consider a suboptimal solution path algorithm for the Support Vector Machine. The solution path algorithm is an effective tool for solving a sequence of a parametrized optimiz...
220
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
— In many application of noise cancellation, the changes in signal characteristics could be quite fast. This requires the utilization of adaptive algorithms, which converge rapid...
215
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We consider manipulation problems when the manipulator only has partial information about the votes of the nonmanipulators. Such partial information is described by an information...
211
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...