Sciweavers

234 search results - page 17 / 47
» Semantic Photo Synthesis
Sort
View
DATE
2005
IEEE
164views Hardware» more  DATE 2005»
14 years 1 months ago
Automated Synthesis of Assertion Monitors using Visual Specifications
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
Ambar A. Gadkari, S. Ramesh
VIP
2003
13 years 9 months ago
Using Dual Cascading Learning Frameworks for Image Indexing
To bridge the semantic gap in content-based image retrieval, detecting meaningful visual entities (e.g. faces, sky, foliage, buildings etc) in image content and classifying images...
Joo-Hwee Lim, Jesse S. Jin
ISMIR
2004
Springer
136views Music» more  ISMIR 2004»
14 years 1 months ago
An Analytical Methodology for Acousmatic Music
This paper presents a procedure for the analysis of acousmatic music which was derived from the synthesis of top-down (knowledge driven) and bottom-up (datadriven) cognitive psych...
David Hirst
CMMR
2007
Springer
104views Music» more  CMMR 2007»
14 years 1 months ago
Semiotics of Sounds Evoking Motions: Categorization and Acoustic Features
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
Adrien Merer, Sølvi Ystad, Richard Kronland...
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
13 years 7 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras