2662 search results - page 138 / 533 » Objects-early tools: a demonstration |
112
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The floating-point implementation of a function often reduces to a polynomial approximation on an interval. Remez algorithm provides the polynomial closest to the function, but th...
109
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In the theory of compressed sensing, restricted isometry analysis has become a standard tool for studying how efficiently a measurement matrix acquires information about sparse an...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
However utilizing rich, interactive solutions can make learning more effective and attractive, scenarioand game-based educational resources on the web are not widely used. Creatin...
118
click to vote
FMSD
2008
15 years 1 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...