Sciweavers

7928 search results - page 1474 / 1586
» Human-Like Learning Methods for a
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 10 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 10 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
ICCBR
2003
Springer
15 years 10 months ago
Case-Based Ranking for Decision Support Systems
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...
Paolo Avesani, Sara Ferrari, Angelo Susi
IPSN
2003
Springer
15 years 10 months ago
Hypothesis Testing over Factorizations for Data Association
Abstract. The issue of data association arises frequently in sensor networks; whenever multiple sensors and sources are present, it may be necessary to determine which observations...
Alexander T. Ihler, John W. Fisher III, Alan S. Wi...
IEEEARES
2010
IEEE
15 years 10 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...
« Prev « First page 1474 / 1586 Last » Next »