8486 search results - page 296 / 1698 » Ordered Enumeration Method |
136
click to vote
CSDA
2007
15 years 4 months ago
2007
The knowledge of the state sequences that explain a given observed sequence for a known hidden Markovian model is the basis of various methods that may be divided into three categ...
151
click to vote
ALGORITHMICA
1998
15 years 4 months ago
1998
Mallows and Riordan showed in 1968 that labeled trees with a small number of inversions are related to labeled graphs that are connected and sparse. Wright enumerated sparse connec...
178
Voted
TKDE
2012
13 years 7 months ago
2012
—Moving Object Databases (MOD), although ubiquitous, still call for methods that will be able to understand, search, analyze, and browse their spatiotemporal content. In this pap...
137
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
158
click to vote
JSCIC
2007
15 years 4 months ago
2007
In this work a new class of numerical methods for the BGK model of kinetic equations is presented. In principle, schemes of any order of accuracy in both space and time can be con...