Sciweavers

3096 search results - page 143 / 620
» Theory and Use of the EM Algorithm
Sort
View
TPHOL
2000
IEEE
15 years 8 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
AAAI
2004
15 years 6 months ago
Adaptive Algorithms for Routing and Traffic Engineering in Stochastic Networks
In this paper we report some of the research endeavors we are embarking on as part of the Doctoral research of the first author. We have already completed an investigation of some...
Sudip Misra, B. John Oommen
JDA
2010
122views more  JDA 2010»
14 years 11 months ago
Subexponential parameterized algorithms for degree-constrained subgraph problems on planar graphs
We present subexponential parameterized algorithms on planar graphs for a family of problems of the following shape: given a graph, find a connected (induced) subgraph with bounde...
Ignasi Sau, Dimitrios M. Thilikos
IJON
2006
111views more  IJON 2006»
15 years 4 months ago
Dynamic pruning algorithm for multilayer perceptron based neural control systems
Generalization ability of neural networks is very important and a rule of thumb for good generalization in neural systems is that the smallest system should be used to fit the tra...
Jie Ni, Qing Song
TACAS
2010
Springer
316views Algorithms» more  TACAS 2010»
15 years 3 months ago
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
Axel Belinfante