Sciweavers

2438 search results - page 313 / 488
» Incremental Learning in Biological and Machine Learning Syst...
Sort
View
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 10 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
143
Voted
ISMIS
2005
Springer
15 years 10 months ago
Semantic-Based Access to Digital Document Databases
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
132
Voted
JCP
2007
145views more  JCP 2007»
15 years 4 months ago
AnnAnn and AnnAnn.Net: Tools for Teaching Programming
— It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining thi...
Clare J. Hooper, Les Carr, Hugh C. Davis, David E....
153
Voted
ICASSP
2011
IEEE
14 years 8 months ago
Adaptive modelling with tunable RBF network using multi-innovation RLS algorithm assisted by swarm intelligence
— In this paper, we propose a new on-line learning algorithm for the non-linear system identification: the swarm intelligence aided multi-innovation recursive least squares (SIM...
Hao Chen, Yu Gong, Xia Hong
114
Voted
DL
1999
Springer
111views Digital Library» more  DL 1999»
15 years 9 months ago
TalkMine and the Adaptive Recommendation Project
TalkMine is an adaptive recommendation system which is both content-based and collaborative, and further allows the crossover of information among multiple databases searched by u...
Luis Mateus Rocha