Sciweavers

3951 search results - page 481 / 791
» Automatic amortized analysis
Sort
View
DAGM
2003
Springer
15 years 12 months ago
Training and Recognition of Complex Scenes Using a Holistic Statistical Model
We present a holistic statistical model for the automatic analysis of complex scenes. Here, holistic refers to an integrated approach that does not take local decisions about segme...
Daniel Keysers, Michael Motter, Thomas Deselaers, ...
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
IBPRIA
2003
Springer
15 years 12 months ago
Feature-Driven Recognition of Music Styles
In this paper the capability of using self-organising neural maps (SOM) as music style classifiers of musical fragments is studied. From MIDI files, the monophonic melody track i...
Pedro J. Ponce de León, José Manuel ...
CSMR
2002
IEEE
15 years 11 months ago
Architecture-Centric Software Evolution by Software Metrics and Design Patterns
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...
Juha Gustafsson, Jukka Paakki, Lilli Nenonen, A. I...
ICCD
2002
IEEE
122views Hardware» more  ICCD 2002»
15 years 11 months ago
Cost-Effective Concurrent Test Hardware Design for Linear Analog Circuits
Concurrent detection of failures in analog circuits is becoming increasingly more important as safety-critical systems become more widespread. A methodology for the automatic desi...
Sule Ozev, Alex Orailoglu