Sciweavers

1312 search results - page 22 / 263
» Formally Optimal Boxing
Sort
View
VLDB
2002
ACM
157views Database» more  VLDB 2002»
14 years 9 months ago
A formal perspective on the view selection problem
The view selection problem is to choose a set of views to materialize over a database schema, such that the cost of evaluating a set of workload queries is minimized and such that ...
Rada Chirkova, Alon Y. Halevy, Dan Suciu
ANSS
2003
IEEE
14 years 2 months ago
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
Alexandre Muzy, Eric Innocenti, Jean Franço...
IWANN
2009
Springer
14 years 1 months ago
A Soft Computing System to Perform Face Milling Operations
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
Raquel Redondo, Pedro Santos, Andrés Bustil...
VMV
2001
160views Visualization» more  VMV 2001»
13 years 10 months ago
Interactive Repositioning of Bone Fracture Segments
This paper presents an application for semiautomatic repositioning of bone fractures that allows the merging of several fragments. This application has been developed with regard ...
Michael Scheuering, Christof Rezk-Salama, Christia...
AWIC
2003
Springer
14 years 2 months ago
Secure Intelligent Agents Based on Formal Description Techniques
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
L. Mengual, C. de la Puente