Sciweavers

5344 search results - page 61 / 1069
» Privacy-Preserving Set Operations
Sort
View
IFM
2009
Springer
14 years 4 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
AE
2007
Springer
14 years 4 months ago
A Study of Crossover Operators for Gene Selection of Microarray Data
Classification of microarray data requires the selection of a subset of relevant genes in order to achieve good classification performance. Several genetic algorithms have been d...
Jose Crispin Hernandez Hernandez, Béatrice ...
MICAI
2005
Springer
14 years 3 months ago
A Comparison of Memetic Recombination Operators for the MinLA Problem
In this paper the Minimum Linear Arrangement (MinLA) problem is studied within the framework of memetic algorithms (MA). A new dedicated recombination operator called Trajectory Cr...
Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-...
ISER
1997
Springer
91views Robotics» more  ISER 1997»
14 years 2 months ago
Extracting Robotic Part-mating Programs from Operator Interaction with a Simulated Environment
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
John E. Lloyd, Dinesh K. Pai
SIGOPSE
1996
ACM
14 years 2 months ago
Server operating systems
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance server applications. We have designed and are implementi...
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ga...