2722 search results - page 70 / 545 » The Model Evolution Calculus |
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose a new method for detecting the musical instruments that are present in single-channel mixtures. Such a task is of interest for audio and multimedia content analysis and...
BIOSYSTEMS
2008
13 years 8 months ago
2008
Change of DNA sequence that fuels evolution is, to a certain extent, a deterministic process because mutagenesis does not occur in an absolutely random manner. So far, it has not ...
CSL
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
MABS
2004
Springer
14 years 1 months ago
2004
Springer
Anthropologists have yet to adequately investigate the evolution of food sharing despite its prevalence among contemporary human societies. As an initial step toward rectifying thi...
SEDE
2007
13 years 9 months ago
2007
The ability to model the evolution of software technology trends is valuable to many stakeholders in industry, academia, and government. Yet we often depend exclusively on the opi...