12257 search results - page 466 / 2452 » Analysis of Algorithms |
134
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
141
click to vote
CLUSTER
2002
IEEE
15 years 10 months ago
2002
IEEE
The join is the most important, but also the most time consuming operation in relational database systems. We implemented the parallel Hybrid Hash Join algorithm on a PC-cluster a...
101
Voted
CP
2006
Springer
15 years 8 months ago
2006
Springer
Inter-block backtracking (IBB) computes all the solutions of sparse systems of non-linear equations over the reals. This algorithm, introduced in 1998 by Bliek et al., handles a sy...
137
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Bang-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons. Numerical algorithms for determining the optimal control struc...
199
click to vote
STAIRS
2008
15 years 6 months ago
2008
This paper presents an extensive evaluation, on artificial datasets, of EDY, an unsupervised algorithm for automatically synthesizing a Structured Hidden Markov Model (S-HMM) from ...