Sciweavers

22698 search results - page 3943 / 4540
» Modeling in Software Engineering
Sort
View
DSN
2000
IEEE
15 years 11 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
ICRA
2000
IEEE
136views Robotics» more  ICRA 2000»
15 years 11 months ago
Registration of Range Data Using a Hybrid Simulated Annealing and Iterative Closest Point Algorithm
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
Jason P. Luck, Charles Q. Little, William Hoff
MM
2000
ACM
87views Multimedia» more  MM 2000»
15 years 11 months ago
Giving meanings to WWW images
Images are increasingly being embedded in HTML documents on the WWW. Such documents over the WWW essentially provides a rich source of image collection from which users can query....
Heng Tao Shen, Beng Chin Ooi, Kian-Lee Tan
DOLAP
1999
ACM
15 years 11 months ago
Design and Selection of Materialized Views in a Data Warehousing Environment: A Case Study
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
Goretti K. Y. Chan, Qing Li, Ling Feng
VRML
1998
ACM
15 years 11 months ago
VRML in Architectural Construction Documents: A Case Study
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
Dace A. Campbell
« Prev « First page 3943 / 4540 Last » Next »