Sciweavers

652 search results - page 70 / 131
» Deriving Specifications of Dependable Systems: toward a Meth...
Sort
View
KDD
2004
ACM
124views Data Mining» more  KDD 2004»
15 years 10 months ago
Eigenspace-based anomaly detection in computer systems
We report on an automated runtime anomaly detection method at the application layer of multi-node computer systems. Although several network management systems are available in th...
Hisashi Kashima, Tsuyoshi Idé
AIEDU
2005
144views more  AIEDU 2005»
14 years 10 months ago
An Algebra Subsystem for Diagnosing Students' Input in a Physics Tutoring System
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
Joel A. Shapiro
ICWS
2004
IEEE
14 years 11 months ago
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
Web services advocate loosely coupled systems, although current loosely coupled applications are limited to stateless services. The reason for this limitation is the lack of a met...
Andreas Wombacher, Peter Fankhauser, Erich J. Neuh...
BIOCOMP
2006
14 years 11 months ago
The Generalized Topological Overlap Matrix for Detecting Modules in Gene Networks
Systems biologic studies of gene and protein interaction networks have found that these networks are comprised of `modules' (groups of tightly interconnected nodes). Module i...
Andy M. Yip, Steve Horvath
AAAI
2010
14 years 11 months ago
Structured Parameter Elicitation
The behavior of a complex system often depends on parameters whose values are unknown in advance. To operate effectively, an autonomous agent must actively gather information on t...
Li Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. O...