Sciweavers

2080 search results - page 179 / 416
» Collections, Cardinalities, and Relations
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 4 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
ICTAI
2005
IEEE
16 years 3 days ago
Latent Process Model for Manifold Learning
In this paper, we propose a novel stochastic framework for unsupervised manifold learning. The latent variables are introduced, and the latent processes are assumed to characteriz...
Gang Wang, Weifeng Su, Xiangye Xiao, Frederick H. ...
MMM
2005
Springer
152views Multimedia» more  MMM 2005»
16 years 3 days ago
Semantic Video Summarization Using Mutual Reinforcement Principle and Shot Arrangement Patterns
We propose a novel semantic video summarization framework, which generates video skimmings that guarantee both the balanced content coverage and the visual coherence. First, we co...
Shi Lu, Michael R. Lyu, Irwin King
BIRTHDAY
2005
Springer
16 years 2 days ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R...
CLEF
2005
Springer
16 years 1 days ago
Manual Query Modification and Data Fusion for Medical Image Retrieval
Image retrieval has great potential for a variety of tasks in medicine but is currently underdeveloped. For the ImageCLEF 2005 medical task, we used a text retrieval system as the ...
Jeffery R. Jensen, William R. Hersh