3799 search results - page 247 / 760 » An Engineering Approach to Formal Methods |
151
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...
176
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
The physical interpretation of mathematical features of tensor fields is highly application-specific. Existing visualization methods for tensor fields only cover a fraction of the...
166
click to vote
SIAMSC
2008
15 years 6 months ago
2008
The convergence of Multigrid methods can be analyzed based on a Fourier analysis of the method or by proving certain inequalities that have to be fulfilled by the smoother and by t...
164
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
236
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...