935 search results - page 66 / 187 » A Framework for Obfuscated Interpretation |
364
click to vote
BICA
2010
15 years 1 months ago
2010
Deep-layer machine learning architectures continue to emerge as a promising biologically-inspired framework for achieving scalable perception in artificial agents. State inference ...
194
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We address the problem of unsupervised segmentation and grouping in 2D and 3D space, where samples are corrupted by noise, and in the presence of outliers. The problem has attract...
193
click to vote
EDM
2008
15 years 7 months ago
2008
The purpose of this study is to develop a conceptual framework and a tool for measuring motivation of online learners. The study was carried out in three phases, the first of which...
184
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
159
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...