Sciweavers

1683 search results - page 75 / 337
» Testing system virtual machines
Sort
View
ICTAI
1992
IEEE
14 years 2 months ago
Genetic Algorithms as a Tool for Feature Selection in Machine Learning
This paper describes an approach being explored to improve the usefulness of machine learning techniques for generating classification rules for complex, real world data. The appr...
Haleh Vafaie, Kenneth A. De Jong
NAACL
2007
14 years 6 days ago
Translation Model Pruning via Usage Statistics for Statistical Machine Translation
We describe a new pruning approach to remove phrase pairs from translation models of statistical machine translation systems. The approach applies the original translation system ...
Matthias Eck, Stephan Vogel, Alex Waibel
SIGOPS
2008
120views more  SIGOPS 2008»
13 years 10 months ago
TVDc: managing security in the trusted virtual datacenter
Virtualization technology is becoming increasingly common in datacenters, since it allows for collocation of multiple workloads, consisting of operating systems, middleware and ap...
Stefan Berger, Ramón Cáceres, Dimitr...
IJVR
2007
124views more  IJVR 2007»
13 years 10 months ago
Business Cases for Virtual Human Technology: Evaluation and Exploitation
—One of the main goals of the Virtual Human project was to develop technologies for using Virtual Humans as Human-Machine-Interfaces (HMI) to complex technical devices and system...
Alexander B. Reinecke, Markus Rössler, Nico G...
KBSE
2000
IEEE
14 years 3 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...