1901 search results - page 111 / 381 » Predicting Program Properties from |
152
click to vote
ISMB
1996
15 years 4 months ago
1996
This study demonstratesthe use of decision tree classifiers as the basis for a general gene-finding system. The system uses a dynamic programmingalgorithm that. finds the optimal ...
110
click to vote
WETICE
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
151
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
Low correlation between mRNA concentrations measured at different locations for the same exon show many current Ensembl exon definitions are incomplete. Automatically created pa...
112
click to vote
EUROCOLT
1999
Springer
15 years 7 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...
137
click to vote
LOGCOM
2010
14 years 9 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...