8828 search results - page 1601 / 1766 » Formal methods in practice |
181
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
139
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
138
click to vote
NIPS
2007
15 years 5 months ago
2007
We propose a model that leverages the millions of clicks received by web search engines to predict document relevance. This allows the comparison of ranking functions when clicks ...
135
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
138
click to vote
NIPS
2004
15 years 5 months ago
2004
We present a generative model and stochastic filtering algorithm for simultaneous tracking of 3D position and orientation, non-rigid motion, object texture, and background texture...