9425 search results - page 265 / 1885 » Some Notes on Models and Modelling |
109
click to vote
IJON
2002
15 years 3 months ago
2002
Some neurons in the nucleus HVc of the songbird respond vigorously to sequences of syllables as they appear in the bird's own song (such as AB), but they respond weakly or no...
162
click to vote
NC
2010
15 years 2 months ago
2010
Abstract. In the last fifteen years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal o...
134
click to vote
CISC
2009
Springer
15 years 1 months ago
2009
Springer
Sanitizable signatures provide several security features which are useful in many scenarios including military and medical applications. Sanitizable signatures allow a semi-trusted...
119
Voted
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
To improve the expressiveness of speech synthesis, the paper proposes a model to simulate the prosody features of exclamatory speech with modal tags. While compared with reading s...
171
Voted
NFM
2011
14 years 11 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...