Sciweavers

2695 search results - page 405 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
118
Voted
CVRMED
1997
Springer
15 years 7 months ago
Rigid registration of CT, MR and cryosection images using a GLCM framework
The majority of the available rigid registration measures are based on a 2-dimensional histogram of corresponding grey-values in the registered images. This paper shows that these ...
Morten Bro-Nielsen
156
Voted
APN
1992
Springer
15 years 7 months ago
Towards a Modular Analysis of Coloured Petri Nets
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
Søren Christensen, Laure Petrucci
MM
2003
ACM
118views Multimedia» more  MM 2003»
15 years 8 months ago
Generation of interactive multi-level video summaries
In this paper, we describe how a detail-on-demand representation for interactive video is used in video summarization. Our approach automatically generates a hypervideo composed o...
Frank M. Shipman III, Andreas Girgensohn, Lynn Wil...
DAC
2008
ACM
16 years 4 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
149
Voted
VLDB
2004
ACM
115views Database» more  VLDB 2004»
15 years 8 months ago
Semantic Mining and Analysis of Gene Expression Data
Association rules can reveal biological relevant relationship between genes and environments / categories. However, most existing association rule mining algorithms are rendered i...
Xin Xu, Gao Cong, Beng Chin Ooi, Kian-Lee Tan, Ant...