Sciweavers

11539 search results - page 2008 / 2308
» On Learning from Exercises
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
16 years 19 days 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
16 years 18 days 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
16 years 16 days 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
16 years 16 days 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
16 years 11 days 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 »