3235 search results - page 273 / 647 » Partial Redundant Modeling |
191
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
227
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper addresses the problem of recognizing freeform 3D objects in point clouds. Compared to traditional approaches based on point descriptors, which depend on local informati...
166
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
141
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
The standard approach for learning Markov Models with Hidden State uses the Expectation-Maximization framework. While this approach had a significant impact on several practical ap...
199
click to vote
UAI
2008
15 years 8 months ago
2008
An important task in data analysis is the discovery of causal relationships between observed variables. For continuous-valued data, linear acyclic causal models are commonly used ...