4022 search results - page 491 / 805 » Adaptive Sweeping Techniques |
214
Voted
APWEB
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. A new web content structure based on visual representation is proposed in this paper. Many web applications such as information retrieval, information extraction and auto...
162
Voted
ASIAN
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
193
click to vote
DAGM
2003
Springer
16 years 20 days ago
2003
Springer
We present an approach for estimating the relative transformations between fragments of a broken cylindrical structure in 3d. To solve this problem, we first measure the orientatio...
194
click to vote
EPIA
2003
Springer
16 years 20 days ago
2003
Springer
: information contained in companies’ financial statements is valuable for decision making at various levels. Much of the relevant information in such documents is contained in t...
193
Voted
FMCO
2003
Springer
16 years 20 days ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...