Sciweavers

644 search results - page 37 / 129
» Real Algebraic Numbers: Complexity Analysis and Experimentat...
Sort
View
HASE
2008
IEEE
14 years 2 months ago
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
Debmalya Biswas, Thomas Gazagnaire, Blaise Genest
TNN
2010
143views Management» more  TNN 2010»
13 years 2 months ago
Using unsupervised analysis to constrain generalization bounds for support vector classifiers
Abstract--A crucial issue in designing learning machines is to select the correct model parameters. When the number of available samples is small, theoretical sample-based generali...
Sergio Decherchi, Sandro Ridella, Rodolfo Zunino, ...
BMCBI
2006
192views more  BMCBI 2006»
13 years 7 months ago
Analysis of circular genome rearrangement by fusions, fissions and block-interchanges
Background: Analysis of genomes evolving via block-interchange events leads to a combinatorial problem of sorting by block-interchanges, which has been studied recently to evaluat...
Chin Lung Lu, Yen-Lin Huang, Tsui Ching Wang, Hsie...
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
14 years 1 months ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
GREC
2007
Springer
13 years 11 months ago
ARG Based on Arcs and Segments to Improve the Symbol Recognition by Genetic Algorithm
In this paper a genetic matching scheme is extended to take into account primitive arcs and complex description in the pattern recognition process. Classical ways only focus on seg...
J.-P. Salmon, Laurent Wendling