3799 search results - page 141 / 760 » An Engineering Approach to Formal Methods |
ECIR
2010
Springer
13 years 9 months ago
2010
Springer
In this work we compare different techniques to automatically find candidate web pages to substitute broken links. We extract information from the anchor text, the content of the p...
GREC
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, a novel, adaptive noise reduction method for engineering drawings is proposed based on assessment of both primitives and noise. Unlike the current approaches, our m...
DKE
2007
13 years 9 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
ICADL
2010
Springer
14 years 2 months ago
2010
Springer
Maintaining and extending large thesauri is an important challenge facing digital libraries and IT businesses alike. In this paper we describe a method building on and extending ex...
KES
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper proposes an approach to estimating the temperature field of the pistons of Diesel Engines 4112 using the combination of experimental measurement and finite ele...