2048 search results - page 289 / 410 » Intelligent search techniques for large software systems |
147
click to vote
CGF
2008
15 years 6 months ago
2008
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
159
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
Understanding the differences between contrasting groups is a fundamental task in data analysis. This realization has led to the development of a new special purpose data mining t...
189
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
225
click to vote
AI
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic inference in graphical models is a prevalent task in statistics and artificial intelligence. The ability to perform this inference task efficiently is critical in l...
179
click to vote
MIR
2010
ACM
16 years 1 months ago
2010
ACM
Over the last few years, social network systems have greatly increased users’ involvement in online content creation and annotation. Since such systems usually need to deal with...