2152 search results - page 229 / 431 » A Comparative Study of 2QBF Algorithms |
175
click to vote
IANDC
2008
15 years 6 months ago
2008
We study the amount of knowledge about the network that is required in order to efficiently solve a task concerning this network. The impact of available information on the effici...
175
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
128
click to vote
GLOBECOM
2006
IEEE
16 years 5 days ago
2006
IEEE
— We study the problem of building an optimal network-layer clustering hierarchy, where the optimality can be defined using three potentially conflicting metrics: state, delay ...
192
Voted
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...
153
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
In systems where customer service demands are only known probabilistically, there is very little to distinguish between jobs. Therefore, no universal optimum scheduling strategy o...