Sciweavers

7921 search results - page 1114 / 1585
» Process Modeling in Web Applications
Sort
View
121
Voted
PKDD
2007
Springer
121views Data Mining» more  PKDD 2007»
15 years 9 months ago
Improved Algorithms for Univariate Discretization of Continuous Features
In discretization of a continuous variable its numerical value range is divided into a few intervals that are used in classification. For example, Na¨ıve Bayes can benefit from...
Jussi Kujala, Tapio Elomaa
TPHOL
2005
IEEE
15 years 9 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
137
Voted
DAGM
2003
Springer
15 years 8 months ago
Improving Children's Speech Recognition by HMM Interpolation with an Adults' Speech Recognizer
In this paper we address the problem of building a good speech recognizer if there is only a small amount of training data available. The acoustic models can be improved by interpo...
Stefan Steidl, Georg Stemmer, Christian Hacker, El...
113
Voted
CAISE
1993
Springer
15 years 7 months ago
Visualisation for Validation
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
Vali Lalioti, Pericles Loucopoulos
152
Voted
AINA
2007
IEEE
15 years 7 months ago
Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows
Current scientific workflow models require datasets to be transferred from their source to the hosts where they can be processed. This seriously impedes data-intensive application...
Zijiang Yang, Shiyong Lu, Ping Yang
« Prev « First page 1114 / 1585 Last » Next »