12981 search results - page 493 / 2597 » Model Checking (Abstract) |
124
Voted
CSL
1992
Springer
15 years 9 months ago
1992
Springer
ating Point Numbers (Abstract). In: Berichte aus Informatik
107
click to vote
TSP
2008
15 years 5 months ago
2008
Abstract--This paper reports an upper bound for the Kullback
152
Voted
EUSFLAT
2009
15 years 2 months ago
2009
Abstract
173
click to vote
BMCBI
2011
15 years 2 days ago
2011
Background: Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the ...