1688 search results - page 232 / 338 » The Complexity of Rationalizing Matchings |
ICSE
2008
IEEE-ACM
16 years 3 days ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
We consider the standard model of finite two-person zero-sum stochastic games with signals. We are interested in the existence of almost-surely winning or positively winning stra...
VTC
2008
IEEE
15 years 5 months ago
2008
IEEE
— With the advent of EXtrinsic Information Transfer (EXIT) charts, we are capable of analyzing, predicting and visually comparing the convergence behaviours of different turbo Mu...
109
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Computational comparison of two protein structures is the starting point of many methods that build on existing knowledge, such as structure modeling (including modeli...
BMCBI
2007
14 years 11 months ago
2007
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...