19130 search results - page 244 / 3826 » Modelling multi-path problems |
178
click to vote
RECOMB
2010
Springer
15 years 5 months ago
2010
Springer
We consider the following problem: given a forest of gene family trees on a set of genomes, find a first speciation which splits these genomes into two subsets and minimizes the ...
190
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
As financial markets are volatile and rapidly changing, preciseness and agility in price evaluation and risk assessment in the portfolios are more important and decision support s...
151
click to vote
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of suggesting who to add as an additional recipient (i.e. cc, or carbon copy) for an email under composition. We address the problem using graphical models ...
157
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
198
click to vote
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...