Sciweavers

3394 search results - page 38 / 679
» A Modal Model of Memory
Sort
View
ICMCS
2007
IEEE
119views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Progress in High Performance Medical Imaging
Medical imaging has made great technological breakthroughs in multimodal acquisition, visualization, and analysis with many complementary image modalities to non-invasively captur...
Casimir A. Kulikowski, Leiguang Gong
TACAS
1998
Springer
98views Algorithms» more  TACAS 1998»
14 years 2 months ago
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
Miroslav N. Velev, Randal E. Bryant
ICCAD
2008
IEEE
125views Hardware» more  ICCAD 2008»
14 years 6 months ago
A succinct memory model for automated design debugging
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
Brian Keng, Hratch Mangassarian, Andreas G. Veneri...
ER
2007
Springer
167views Database» more  ER 2007»
14 years 1 months ago
An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
AAAI
2008
14 years 6 days ago
Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization
Matrix factorization algorithms are frequently used in the machine learning community to find low dimensional representations of data. We introduce a novel generative Bayesian pro...
Ian Porteous, Evgeniy Bart, Max Welling