Sciweavers

4581 search results - page 556 / 917
» Computing Transformation Semigroups
Sort
View
IEAAIE
2003
Springer
15 years 12 months ago
A Rigorous Approach to Knowledge Base Maintenance
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
John K. Debenham
DCC
2002
IEEE
15 years 11 months ago
Data Compression of Correlated Non-Binary Sources Using Punctured Turbo Codes
We consider the case of two corr elated non-binary sources. Data compression is achieved by transforming the sequences of non-binary symbols into sequences of bits and then using ...
Ying Zhao, Javier Garcia-Frias
SCAM
2002
IEEE
15 years 11 months ago
Parallel Support for Source Code Analysis and Modification
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
Ira D. Baxter
HAPTICS
2010
IEEE
15 years 11 months ago
Causality Inversion in the Reproduction of Roughness
When a finger scans a non-smooth surface, a sensation of roughness is experienced. A similar sensation is felt when a finger is in contact with a mobile surface vibrating in the ...
Michael Wiertlewski, José Lozada, Edwige Pi...
193
Voted
ICANN
2001
Springer
15 years 11 months ago
Incremental Support Vector Machine Learning: A Local Approach
Abstract. In this paper, we propose and study a new on-line algorithm for learning a SVM based on Radial Basis Function Kernel: Local Incremental Learning of SVM or LISVM. Our meth...
Liva Ralaivola, Florence d'Alché-Buc