17770 search results - page 3143 / 3554 » A Generalization of Forward-Backward Algorithm |
142
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
125
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
High-bandwidth applications with time-dependent resource requirements demand certain resource level assurances in order to operate correctly. Quality of Service resource managemen...
178
Voted
FODO
1998
Springer
15 years 9 months ago
1998
Springer
In object-oriented database systems (OODB) with logical OIDs, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal ...
177
click to vote
GI
1998
Springer
15 years 9 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
133
Voted
ISAAC
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. A fundamental problem in computational biology is the determination of the correct species tree for a set of taxa given a set of possibly contradictory gene trees. In rec...