Sciweavers

10910 search results - page 32 / 2182
» Input modeling using a computer algebra system
Sort
View
CMSB
2009
Springer
15 years 4 months ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
64
Voted
ICDM
2007
IEEE
174views Data Mining» more  ICDM 2007»
15 years 4 months ago
Targeting Input Data for Acoustic Bird Species Recognition Using Data Mining and HMMs
In this paper we propose the integration of Data Mining with Hidden Markov Models when applied to the problem of acoustic bird species recognition. We first show how each of them...
Erika Vilches, Ivan A. Escobar, Edgar E. Vallejo, ...
ICECCS
2007
IEEE
125views Hardware» more  ICECCS 2007»
15 years 1 months ago
Achieving Discrete Relative Timing with Untimed Process Algebra
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
Anton Wijs
IWANN
2009
Springer
15 years 2 months ago
A Soft Computing System to Perform Face Milling Operations
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
Raquel Redondo, Pedro Santos, Andrés Bustil...
BIRTHDAY
2004
Springer
15 years 3 months ago
Duality for Three: Ternary Symmetry in Process Spaces
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
Janusz A. Brzozowski, Radu Negulescu