1009 search results - page 84 / 202 » Performance Analysis of UML Models Using Aspect-Oriented Mod... |
146
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a novel statistical model order reduction technique, called statistical spectrum model order reduction (SSMOR) method, which considers both intra-die and...
142
Voted
SAT
2005
Springer
15 years 9 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
137
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
157
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
This paper discusses a new technique for detecting affective events using Hidden Markov Models(HMM). To map low level features of video data to high level emotional events, we per...
154
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...