1403 search results - page 188 / 281 » Quantitative Interprocedural Analysis |
FOCS
1992
IEEE
14 years 1 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
CMSB
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
ECCV
2006
Springer
14 years 22 days ago
2006
Springer
Nonlinear image registration is a prerequisite for various medical image analysis applications. Many data acquisition protocols suffer from problems due to breathing motion which h...
EWSPT
1995
Springer
14 years 19 days ago
1995
Springer
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
LREC
2008
13 years 10 months ago
2008
This paper presents the complete and consistent ontological annotation of the nominal part of WordNet. The annotation has been carried out using the semantic features defined in t...