8810 search results - page 328 / 1762 » Openness |
162
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination--a long-standing open problem. The paper provides experiment...
196
click to vote
CORR
2008
Springer
15 years 8 months ago
2008
Springer
We review some recent results related to the self-assembly of infinite structures in the Tile Assembly Model. These results include impossibility results, as well as novel tile as...
169
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Physical and logical structure recovering from electronic documents is still an open issue. In this paper, we propose a flexible and efficient approach for recovering document str...
150
Voted
FOIS
2010
15 years 8 months ago
2010
This paper addresses the use of dispositions in the Infectious Disease Ontology (IDO). IDO is an ontology constructed according to the principles of the Open Biomedical Ontology (O...
122
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we describe the construction of an illustrated Japanese Wordnet. We bootstrap the Wordnet using existing multiple existing wordnets in order to deal with the ambigui...