1382 search results - page 85 / 277 » Term ordering problem on MDG |
147
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we formulate the problem of grouping the states of a discrete Markov chain of arbitrary order simultaneously with deconvolving its transition probabilities. As the na...
160
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
170
click to vote
COMSWARE
2008
IEEE
15 years 8 months ago
2008
IEEE
In recent years, Mobile Ad-hoc Networks (MANETs) have received tremendous attention because of their self-configuration and self-maintenance capabilities. With open network archite...
141
click to vote
WSC
1998
15 years 7 months ago
1998
A method of modeling transportation-inventory systems is proposed in an attempt to flexibly describe the systems in which a lot of kinds of items are ordered to transport, transpo...
177
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...