Sciweavers

5034 search results - page 325 / 1007
» A Content-Centric Development Process Model
Sort
View
SIGSOFT
2003
ACM
16 years 5 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
113
Voted
BTW
2001
Springer
103views Database» more  BTW 2001»
15 years 9 months ago
On Realizing Transformation Independence in Open, Distributed Multimedia Information Systems
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
Ulrich Marder
ISMIR
2001
Springer
262views Music» more  ISMIR 2001»
15 years 9 months ago
Automated Rhythm Transcription
We present a technique that, given a sequence of musical note onset times, performs simultaneous identi cation of the notated rhythm and the variable tempo associated with the tim...
Christopher Raphael
CMOT
2011
14 years 8 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur
ICASSP
2011
IEEE
14 years 8 months ago
A partial least squares framework for speaker recognition
Modern approaches to speaker recognition (verification) operate in a space of “supervectors” created via concatenation of the mean vectors of a Gaussian mixture model (GMM) a...
Balaji Vasan Srinivasan, Dmitry N. Zotkin, Ramani ...