1717 search results - page 93 / 344 » A Computable Spectral Theorem |
116
click to vote
FCSC
2007
15 years 4 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
162
click to vote
IJCAI
2003
15 years 5 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
115
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper considers networks consisting of integral input-to-state stable (iISS) subsystems and addresses the problem of verifying iISS property of a given network. First, we ...
120
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper deals with the problem of spectral reflectance estimation from color camera outputs. Because the reconstruction of such functions is an inverse problem, stabilizing the...
161
Voted
EC
2006
15 years 4 months ago
2006
The frequency with which various elements of the search space of a given evolutionary algorithm are sampled is affected by the family of recombination (reproduction) operators. Th...