Sciweavers

1096 search results - page 145 / 220
» Type inference for atomicity
Sort
View
FCCM
2008
IEEE
177views VLSI» more  FCCM 2008»
14 years 2 months ago
Hardware Scripting in Gel
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
Jonathan Bachrach, Dany Qumsiyeh, Mark Tobenkin
ICPR
2008
IEEE
14 years 2 months ago
Symmetric segment-based stereo matching of motion blurred images with illumination variations
Most existing methods of stereo matching focus on dealing with clear image pairs. Consequently, there is a lack of approaches capable of handling degraded images captured under ch...
Wei Wang, Yizhou Wang, Longshe Huo, Qingming Huang...
ISBI
2007
IEEE
14 years 2 months ago
Shape Analysis Using Curvature-Based Descriptors and Profile Hidden Markov Models
This paper presents a new framework for shape modeling and analysis. A shape instance is described by a curvature-based shape descriptor. A Profile Hidden Markov Model (PHMM) is ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
AI
2007
Springer
14 years 2 months ago
Rethinking the Semantics of Complex Nominals
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
Nabil Abdullah, Richard A. Frost
ICTAI
2006
IEEE
14 years 1 months ago
Belief Update in Bayesian Networks Using Uncertain Evidence
This paper reports our investigation on the problem of belief update in Bayesian networks (BN) using uncertain evidence. We focus on two types of uncertain evidences, virtual evid...
Rong Pan, Yun Peng, Zhongli Ding