Sciweavers

1005 search results - page 136 / 201
» Temporal Structures
Sort
View
EVOW
2007
Springer
15 years 4 months ago
Self-organizing Bio-inspired Sound Transformation
We present a time domain approach to explore a sound transformation paradigm for musical performance. Given a set of sounds containing a priori desired qualities and a population o...
Marcelo F. Caetano, Jônatas Manzolli, Fernan...
ISBI
2006
IEEE
15 years 10 months ago
Modeling and measurement of elastic laminae in arteries
Analysis of elastic laminae provides vital information on both the gross and fine structures of the arterial wall, which is vital to assess issues such as mechanical damage caused...
Hai Xu, Jin-Jia Hu, Jay D. Humphrey, Jyh-Charn Liu
EDOC
2004
IEEE
15 years 1 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
POPL
2006
ACM
15 years 10 months ago
A fixpoint calculus for local and global program flows
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
ICMCS
2008
IEEE
193views Multimedia» more  ICMCS 2008»
15 years 4 months ago
Video coding with spatio-temporal texture synthesis and edge-based inpainting
This paper proposes a video coding scheme, in which textural and structural regions are selectively removed in the encoder, and restored in the decoder by spatio-temporal texture ...
Chunbo Zhu, Xiaoyan Sun, Feng Wu, Houqiang Li