Sciweavers

6757 search results - page 758 / 1352
» Knowledge Analysis on Process Models
Sort
View
CVPR
1999
IEEE
16 years 8 months ago
Calibration of an Outdoor Active Camera System
A parametric camera model and calibration procedures are developed for an outdoor active camera system with pan, tilt and zoom control. Unlike traditional methods, active camera m...
Robert T. Collins, Yanghai Tsin
CBMS
2007
IEEE
16 years 1 months ago
Managing Conceptual Revisions in a Temporal Fungal Taxonomy
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
Arash Shaban-Nejad, Volker Haarslev
B
2007
Springer
16 years 26 days ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
ICWE
2003
Springer
15 years 12 months ago
A Design Toolkit for Hypermedia Applications
The development process of hypermedia applications involves a variety of users with different levels of knowledge and skills. In order to get a good communication among participa...
Susana Montero, Paloma Díaz, Ignacio Aedo
WSC
2004
15 years 8 months ago
A New Method to Determine the Tool Count of a Semiconductor Factory Using FabSim
Tool count optimization is mandatory for an efficiently organized semiconductor factory. This paper describes an efficient heuristic to determine the tool count using the compact ...
Holger Vogt