Sciweavers

346 search results - page 15 / 70
» PPM Model Cleaning
Sort
View
ICASSP
2010
IEEE
13 years 7 months ago
Robust speaker identification using an auditory-based feature
An auditory-based feature extraction algorithm is presented. The feature is based on a recently published time-frequency transform plus a set of modules to simulate the signal pro...
Qi Li, Yan Huang
CAISE
2004
Springer
14 years 27 days ago
A Unified Foundational Ontology and some Applications of it in Business Modeling
: Foundational ontologies provide the basic concepts upon which any domain-specific ontology is built. This paper presents a new foundational ontology, UFO, and shows how it can be...
Giancarlo Guizzardi, Gerd Wagner
ESOP
2003
Springer
14 years 22 days ago
Automatic Software Model Checking Using CLP
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
Cormac Flanagan
CAIP
2001
Springer
166views Image Analysis» more  CAIP 2001»
14 years 10 hour ago
Application of Adaptive Hypergraph Model to Impulsive Noise Detection
In this paper, using hypergraph theory, we introduce an image model called Adaptive Image Neighborhood Hypergraph (AINH). From this model we propose a combinatorial definition of ...
Soufiane Rital, Alain Bretto, Driss Aboutajdine, H...
BIRTHDAY
2010
Springer
13 years 6 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein