Sciweavers

1995 search results - page 79 / 399
» The Chemical Abstract Machine
Sort
View
ALT
2000
Springer
14 years 6 months ago
On the Noise Model of Support Vector Machines Regression
Abstract. Support Vector Machines Regression (SVMR) is a learning technique where the goodness of fit is measured not by the usual quadratic loss function (the mean square error),...
Massimiliano Pontil, Sayan Mukherjee, Federico Gir...
CLOUDCOM
2009
Springer
14 years 3 months ago
Cost of Virtual Machine Live Migration in Clouds: A Performance Evaluation
Abstract. Virtualization technology has become commonplace in modern data centers and cluster systems, often referred as “computing clouds”. In particular, the capability of vi...
William Voorsluys, James Broberg, Srikumar Venugop...
SBMF
2009
Springer
156views Formal Methods» more  SBMF 2009»
14 years 3 months ago
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
Kriangsak Damchoom, Michael J. Butler
FINTAL
2006
14 years 20 days ago
Statistical Machine Translation of German Compound Words
Abstract. German compound words pose special problems to statistical machine translation systems: the occurence of each of the components in the training data is not sufficient for...
Maja Popovic, Daniel Stein, Hermann Ney
ECOOP
2008
Springer
13 years 10 months ago
An Extensible State Machine Pattern for Interactive Applications
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
Brian Chin, Todd D. Millstein