Sciweavers

422 search results - page 32 / 85
» Incremental Detection of Model Inconsistencies Based on Mode...
Sort
View
85
Voted
KES
2004
Springer
15 years 3 months ago
Managing Ontology Evolution Via Relational Constraints
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...
Paolo Ceravolo, Angelo Corallo, Gianluca Elia, Ant...
JOT
2008
142views more  JOT 2008»
14 years 9 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
CLEAR
2007
Springer
164views Biometrics» more  CLEAR 2007»
15 years 3 months ago
The AIT 2D Face Detection and Tracking System for CLEAR 2007
This paper describes the AIT system for 2D face tracking and the results obtained in the CLEAR 2007 evaluations. The system is based on the complementary operation of a set of face...
Andreas Stergiou, Ghassan Karame, Aristodemos Pnev...
CCS
2006
ACM
15 years 1 months ago
Time series modeling for IDS alert management
Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...
Jouni Viinikka, Hervé Debar, Ludovic M&eacu...
GECCO
2004
Springer
147views Optimization» more  GECCO 2004»
15 years 3 months ago
Cooperative Coevolution Fusion for Moving Object Detection
In this paper we introduce a novel sensor fusion algorithm based on the cooperative coevolutionary paradigm. We develop a multisensor robust moving object detection system that can...
Sohail Nadimi, Bir Bhanu