549 search results - page 56 / 110 » Verification condition generation for conditional informatio... |
104
Voted
RECSYS
2009
ACM
15 years 7 months ago
2009
ACM
Collaborative Filtering (CF) recommendations are computed by leveraging a historical data set of users’ ratings for items. It assumes that the users’ previously recorded ratin...
85
Voted
ECIR
2009
Springer
15 years 9 months ago
2009
Springer
Previous research on automatic image annotation has shown that accurate estimates of the class conditional densities in generative models have a positive effect in annotation perf...
118
click to vote
MOR
2006
15 years 16 days ago
2006
It has been shown (Hart [2002]) that the backward induction (or subgame-perfect) equilibrium of a perfect information game is the unique stable outcome for dynamic models consisti...
129
Voted
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
OSDI
2004
ACM
16 years 27 days ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...