Sciweavers

2941 search results - page 403 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2006
Springer
130views Education» more  CORR 2006»
15 years 6 months ago
Genetic Programming for Kernel-based Learning with Co-evolving Subsets Selection
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
Christian Gagné, Marc Schoenauer, Mich&egra...
CORR
2006
Springer
141views Education» more  CORR 2006»
15 years 6 months ago
Spectra of large block matrices
In a frequency selective slow-fading channel in a MIMO system, the channel matrix is of the form of a block matrix. This paper proposes a method to calculate the limit of the eige...
Reza Rashidi Far, Tamer Oraby, Wlodzimierz Bryc, R...
CORR
2006
Springer
144views Education» more  CORR 2006»
15 years 6 months ago
On the logical definability of certain graph and poset languages
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
Pascal Weil
CORR
2006
Springer
113views Education» more  CORR 2006»
15 years 6 months ago
Study of Self-Organization Model of Multiple Mobile Robot
: A good organization model of multiple mobile robot should be able to improve the efficiency of the system, reduce the complication of robot interactions, and detract the difficul...
Cheng Xian-Yi, Li Shu-Qin, Xian De-Shen
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 6 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas