Sciweavers

11539 search results - page 2008 / 2308
» On Learning from Exercises
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 12 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ICANN
2003
Springer
15 years 12 months ago
Neural Network Ensemble with Negatively Correlated Features for Cancer Classification
The development of microarray technology has supplied a large volume of data to many fields. In particular, it has been applied to prediction and diagnosis of cancer, so that it ex...
Hong-Hee Won, Sung-Bae Cho
IEEEARES
2010
IEEE
15 years 11 months ago
Detection of Spyware by Mining Executable Files
Spyware represents a serious threat to confidentiality since it may result in loss of control over private data for computer users. This type of software might collect the data and...
Raja Khurram Shahzad, Syed Imran Haider, Niklas La...
MCS
2010
Springer
15 years 11 months ago
Online Non-stationary Boosting
Abstract. Oza’s Online Boosting algorithm provides a version of AdaBoost which can be trained in an online way for stationary problems. One perspective is that this enables the p...
Adam Pocock, Paraskevas Yiapanis, Jeremy Singer, M...
COMPSAC
2002
IEEE
15 years 11 months ago
Investigating Large Software System Evolution: The Linux Kernel
Large multi-platform, multi-million lines of codes software systems evolve to cope with new platform or to meet user ever changing needs. While there has been several studies focu...
Ettore Merlo, Michel Dagenais, P. Bachand, J. S. S...
« Prev « First page 2008 / 2308 Last » Next »