3972 search results - page 368 / 795 » Palpability Support Demonstrated |
134
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Standard methods for maximum likelihood parameter estimation in latent variable models rely on the Expectation-Maximization algorithm and its Monte Carlo variants. Our approach is ...
135
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
145
click to vote
ITIIS
2008
15 years 2 months ago
2008
To facilitate the processes of e-learning resource description, discovery and reuse, e-learning objects should be appropriately described and classified using standard metadata th...
130
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
—To operate autonomously in forested environments, unmanned ground vehicles (UGVs) must be able to identify the load-bearing surface of the terrain (i.e. the ground). This paper ...
152
Voted
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...