1226 search results - page 213 / 246 » Generating Abstractions from Static Domain Analysis |
95
Voted
TOPLAS
2008
15 years 14 days ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
113
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
139
Voted
BMCBI
2006
15 years 19 days ago
2006
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
126
Voted
IPM
2007
15 years 14 days ago
2007
In this paper, we propose a multi-strategic matching and merging approach to find correspondences between ontologies based on the syntactic or semantic characteristics and constr...
139
Voted
SIAMCO
2010
14 years 7 months ago
2010
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...