Sciweavers

5689 search results - page 271 / 1138
» A Performance Process Maturity Model
Sort
View
ICRA
2000
IEEE
122views Robotics» more  ICRA 2000»
15 years 11 months ago
Application of a Model-Free Algorithm for the Packing of Irregular Shaped Objects in Semiconductor Manufacture
A Robotic System is being developed to automate the crucible packing process in the CZ semiconductor wafer production. It requires the delicate manipulation and packing of highly ...
Vivek A. Sujan, Steven Dubowsky
185
Voted
VLDB
1990
ACM
77views Database» more  VLDB 1990»
15 years 11 months ago
Efficient Main Memory Data Management Using the DBGraph Storage Model
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...
Philippe Pucheral, Jean-Marc Thévenin, Patr...
CAISE
2006
Springer
15 years 11 months ago
A Non-Linear Cost Model for Multi-Node OLAP Systems
Answering performance to business queries, mainly of aggregated nature, known as On-Line Analytical Processing queries, depends heavily on the proper selection of multidimensional ...
Jorge Loureiro, Orlando Belo
202
Voted
CAEPIA
2003
Springer
15 years 10 months ago
Employing TSK Fuzzy Models to Automate the Revision Stage of a CBR System
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
Florentino Fernández Riverola, Juan M. Corc...
178
Voted
CORR
2006
Springer
84views Education» more  CORR 2006»
15 years 7 months ago
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
Samir Chouali, Jacques Julliand, Pierre-Alain Mass...