Sciweavers

1704 search results - page 112 / 341
» Modeling virtualized applications using machine learning tec...
Sort
View
IFIP
2010
Springer
14 years 9 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
ACL
1998
15 years 4 months ago
Learning Intonation Rules for Concept to Speech Generation
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...
Shimei Pan, Kathleen McKeown
ICALT
2005
IEEE
15 years 8 months ago
Flexible and Exploratory Learning by Polyscopic Topic Maps
Flexible and active education calls for a comprehensive restructuring of the traditional university course format. Such restructuring can be done in a natural and coherent way by ...
Dino Karabeg, Rolf Guescini, Tommy W. Nordeng
ANSS
1997
IEEE
15 years 7 months ago
Analytical Simulation for Performance Analysis of Distributed Virtual Reality Systems
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
Shaun Bangay, Peter Clayton, David A. Sewry
ICML
2007
IEEE
16 years 3 months ago
Simple, robust, scalable semi-supervised learning via expectation regularization
Although semi-supervised learning has been an active area of research, its use in deployed applications is still relatively rare because the methods are often difficult to impleme...
Gideon S. Mann, Andrew McCallum