Sciweavers

3169 search results - page 424 / 634
» A General Framework for Large Scale Systems Development
Sort
View
KBSE
1995
IEEE
15 years 10 months ago
A Transformation System for Interactive Reformulation of Design Optimization Strategies
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
Thomas Ellman, John Keane, Takahiro Murata, Mark S...
EMSOFT
2008
Springer
15 years 8 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
TASE
2008
IEEE
15 years 6 months ago
On Clamping Planning in Workpiece-Fixture Systems
Deformation at contacts between the workpiece and locators/clamps resulting from large contact forces causes overall workpiece displacement, and affects the localization accuracy o...
Caihua Xiong, Michael Yu Wang, You-Lun Xiong
MM
2006
ACM
134views Multimedia» more  MM 2006»
16 years 11 days ago
The mediamill large.lexicon concept suggestion engine
In this technical demonstration we show the current version of the MediaMill system, a search engine that facilitates access to news video archives at a semantic level. The core o...
Marcel Worring, Cees G. M. Snoek, Bouke Huurnink, ...
ISMIR
2004
Springer
126views Music» more  ISMIR 2004»
15 years 11 months ago
Tools and Architecture for the Evaluation of Similarity Measures : Case Study of Timbre Similarity
The systematic testing of the very many parameters and algorithmic variants involved in the design of high-level music descriptors at large, and similarity measure in particular, ...
Jean-Julien Aucouturier, François Pachet