Sciweavers

3771 search results - page 246 / 755
» Subobject Transformation Systems
Sort
View
EFORENSICS
2009
Springer
15 years 10 months ago
Vocal Forgery in Forensic Sciences
Abstract. This article describes techniques of vocal forgery able to affect automatic speaker recognition system in a forensic context. Vocal forgery covers two main aspects: voice...
Patrick Perrot, Mathieu Morel, Joseph Razik, G&eac...
ICFP
2007
ACM
16 years 4 months ago
Stream fusion: from lists to streams to nothing at all
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
Duncan Coutts, Roman Leshchinskiy, Don Stewart
AGTIVE
2007
Springer
15 years 10 months ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
15 years 10 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
145
Voted
ICMCS
2005
IEEE
135views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Retrieving, Adapting and Delivering Multimedia Content Using a Mobile Agent Architecture
An integrated, reconfigurable, adaptable and open system for mining, indexing and retrieving multimedia information based on a mobile agent technology scheme is presented. The sys...
Nikolaos Papadakis, Anastasios D. Doulamis, Dimitr...