Sciweavers

10289 search results - page 1723 / 2058
» Standard bases in K
Sort
View
JSYML
2006
91views more  JSYML 2006»
15 years 6 months ago
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic (Fund. Math. 171 (2002)), we show that there exists a number n such that m Sm (the u...
Leszek Aleksander Kolodziejczyk
149
Voted
ESWA
2007
78views more  ESWA 2007»
15 years 6 months ago
Initial breeding value prediction on Manchego sheep by using rule-based systems
In this paper we present an application of rule-based expert systems to a farming problem. Concretely the prediction of the breeding value in Manchego ewes is studied for the earl...
Luis de la Ossa, M. Julia Flores, José A. G...
NN
2008
Springer
201views Neural Networks» more  NN 2008»
15 years 6 months ago
Learning representations for object classification using multi-stage optimal component analysis
Learning data representations is a fundamental challenge in modeling neural processes and plays an important role in applications such as object recognition. In multi-stage Optima...
Yiming Wu, Xiuwen Liu, Washington Mio
NN
2008
Springer
114views Neural Networks» more  NN 2008»
15 years 6 months ago
Event detection and localization for small mobile robots using reservoir computing
Reservoir Computing (RC) techniques use a fixed (usually randomly created) recurrent neural network, or more generally any dynamic system, which operates at the edge of stability,...
Eric A. Antonelo, Benjamin Schrauwen, Dirk Strooba...
MTA
2006
125views more  MTA 2006»
15 years 6 months ago
QCWS: an implementation of QoS-capable multimedia web services
QoS, that defines service quality such as latency, availability, timeliness and reliability, is important for web applications that provide real-time information, multimedia conte...
Tao Yu, Kwei-Jay Lin
« Prev « First page 1723 / 2058 Last » Next »