Sciweavers

1900 search results - page 266 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
CBSQ
2003
Springer
15 years 3 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
RAID
2009
Springer
15 years 4 months ago
Autonomic Intrusion Detection System
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...
Wei Wang 0012, Thomas Guyet, Svein J. Knapskog
ISCI
2007
133views more  ISCI 2007»
14 years 9 months ago
Decision making in fuzzy discrete event systems
The primary goal of the study presented in this paper is to develop a novel and comprehensive approach to decision making using fuzzy discrete event systems (FDES) and to apply su...
Feng Lin, Hao Ying, R. D. MacArthur, J. A. Cohn, D...
JMLR
2008
168views more  JMLR 2008»
14 years 10 months ago
Max-margin Classification of Data with Absent Features
We consider the problem of learning classifiers in structured domains, where some objects have a subset of features that are inherently absent due to complex relationships between...
Gal Chechik, Geremy Heitz, Gal Elidan, Pieter Abbe...
ADBIS
2010
Springer
192views Database» more  ADBIS 2010»
14 years 11 months ago
The Objects Interaction Graticule for Cardinal Direction Querying in Moving Objects Data Warehouses
Cardinal directions have turned out to be very important qualitative spatial relations due to their numerous applications in spatial wayfinding, GIS, qualitative spatial reasoning ...
Ganesh Viswanathan, Markus Schneider