1403 search results - page 191 / 281 » Quantitative Interprocedural Analysis |
118
Voted
KBS
2002
15 years 8 days ago
2002
In this paper, a hybrid learning approach named HDT is proposed. HDT simulates human reasoning by using symbolic learning to do qualitative analysis and using neural learning to d...
97
Voted
RE
2008
Springer
15 years 2 days ago
2008
Springer
Scalability is widely recognized as an important software quality, but it is a quality that historically has lacked a consistent and systematic treatment. To address this problem,...
106
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
78
Voted
JCC
2010
14 years 11 months ago
2010
The assumption that crystal contacts reflect natural macromolecular interactions makes a basis for many studies in structural biology. However, the crystal state may correspond t...
106
click to vote
PUC
2010
14 years 11 months ago
2010
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...