Sciweavers

3777 search results - page 624 / 756
» Estimating the Quality of Databases
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
14 years 3 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
CIARP
2004
Springer
14 years 3 months ago
Advanced Relevance Feedback Query Expansion Strategy for Information Retrieval in MEDLINE
MEDLINE is a very large database of abstracts of research papers in medical domain, maintained by the National Library of Medicine. Documents in MEDLINE are supplied with manually ...
Kwangcheol Shin, Sang-Yong Han, Alexander F. Gelbu...
ECAI
2004
Springer
14 years 3 months ago
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
Juan Carlos Augusto, Chris D. Nugent
CAIP
2003
Springer
133views Image Analysis» more  CAIP 2003»
14 years 3 months ago
Automatic Segmentation of Diatom Images
A general framework for automatic segmentation of diatom images is presented. This segmentation is a critical first step in contour-based methods for automatic identification of ...
Andrei Jalba, Jos B. T. M. Roerdink
ER
2003
Springer
550views Database» more  ER 2003»
14 years 3 months ago
A UML Based Approach for Modeling ETL Processes in Data Warehouses
Data warehouses (DWs) are complex computer systems whose main goal is to facilitate the decision making process of knowledge workers. ETL (Extraction-Transformation-Loading) proces...
Juan Trujillo, Sergio Luján-Mora