Sciweavers

1419 search results - page 78 / 284
» Notes on Formalizing Context
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 4 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
110
Voted
ENTCS
2002
112views more  ENTCS 2002»
15 years 13 days 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
86
Voted
JOCN
2010
81views more  JOCN 2010»
14 years 11 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...
92
Voted
ISBI
2008
IEEE
16 years 1 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...
76
Voted
ISMIR
2005
Springer
104views Music» more  ISMIR 2005»
15 years 6 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