15073 search results - page 2614 / 3015 » Probabilistic algorithms for computing resultants |
152
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
144
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
Link analysis methods show that the interconnections between web pages have lots of valuable information. The link analysis methods are, however, inherently oriented towards analy...
128
click to vote
WAOA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider a Stackelberg pricing problem in directed networks. Tariffs have to be defined by an operator, the leader, for a subset of the arcs, the tariff arcs. Clien...
166
click to vote
CSB
2003
IEEE
15 years 10 months ago
2003
IEEE
As gene order evolves through a variety of chromosomal rearrangements, conserved segments provide important insight into evolutionary relationships and functional roles of genes. ...
150
Voted
ISPASS
2003
IEEE
15 years 10 months ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...