984 search results - page 179 / 197 » ideas 2010 |
GRC
2010
IEEE
14 years 1 hour ago
2010
IEEE
Inference of latent variables from complicated data is one important problem in data mining. The high dimensionality and high complexity of real world data often make accurate infe...
ICFP
2010
ACM
13 years 12 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
CHI
2010
ACM
13 years 11 months ago
2010
ACM
We reflect on activities to design a mobile application to enable rural people in South Africa's Eastern Cape to record and share their stories, which have implications for `...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...
MM
2010
ACM
13 years 11 months ago
2010
ACM
In this article we define a multimedia content analysis problem, which we call multimodal location estimation: Given a video/image/audio file, the task is to determine where it wa...