Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal verication problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...
Abstract: This paper presents a data model for cyclic geographic events useful for nextgeneration geographic information system design. The paper introduces a structure that captur...
Although different strands of “post-approaches” and “post-theories”, for example, grounded theory and structuration theory, have gained popularity in Information Systems (...
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
Rui Martins, Wolfgang Pyka, Rainer Sabelka, Siegfr...
We propose a new framework for speaker recognition, referred as Fishervoice. It includes the design of a feature representation known as the structured score vector (SSV), which r...