Sciweavers

1419 search results - page 78 / 284
» Notes on Formalizing Context
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 6 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
132
Voted
ENTCS
2002
112views more  ENTCS 2002»
15 years 3 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
JOCN
2010
81views more  JOCN 2010»
15 years 1 months ago
Mental Reversal of Imagined Melodies: A Role for the Posterior Parietal Cortex
■ Two fMRI experiments explored the neural substrates of a musical imagery task that required manipulation of the imagined sounds: temporal reversal of a melody. Musicians were ...
Robert J. Zatorre, Andrea R. Halpern, Marc Bouffar...
ISBI
2008
IEEE
16 years 3 months ago
Innovation modelling and wavelet analysis of fractal processes in bio-imaging
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
Pouya Dehghani Tafti, Dimitri Van De Ville, Michae...
ISMIR
2005
Springer
104views Music» more  ISMIR 2005»
15 years 8 months ago
Pitch Track Target Deviation in Natural Singing
Unlike fixed-pitch instruments such as the piano, human singing can stray from a target pitch by as much as a semitone while still being perceived as a single fixed note. This p...
David Gerhard