Sciweavers

3856 search results - page 473 / 772
» Models for Automated Earthmoving
Sort
View
CORR
2008
Springer
125views Education» more  CORR 2008»
15 years 6 months ago
Data Reduction in Intrusion Alert Correlation
: Network intrusion detection sensors are usually built around low level models of network traffic. This means that their output is of a similarly low level and as a consequence, ...
Gianni Tedesco, Uwe Aickelin
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 6 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
ENTCS
2002
91views more  ENTCS 2002»
15 years 6 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
MVA
2002
188views Computer Vision» more  MVA 2002»
15 years 6 months ago
Adaptive Background Estimation for Object Tracking
2 Adaptive Background Model Tracking people has received considerable attention by computer vision researchers. Interest is motivated by the broad range of potential applications s...
Ryunosuke Itoh, Yoshio Iwai, Masahiko Yachida
IPAW
2010
15 years 4 months ago
Provenance of Decisions in Emergency Response Environments
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...
Iman Naja, Luc Moreau, Alex Rogers