1713 search results - page 99 / 343 » Analysis of Procedure Splitability |
BMCBI
2007
13 years 10 months ago
2007
Background: The incorporation of prior biological knowledge in the analysis of microarray data has become important in the reconstruction of transcription regulatory networks in a...
ICDAR
1999
IEEE
14 years 2 months ago
1999
IEEE
WISDOM++ is a document analysis system whose main design requirements are real-time user interaction and adaptivity. This paper presents the two-phased skew estimation algorithm a...
SP
2006
IEEE
14 years 4 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
FASE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
This paper studies bilateral multi-issue negotiation between self-interested agents. The outcome of such encounters depends on two key factors: the agenda (i.e., the set of issues...