799 search results - page 37 / 160 » Synthesis for Probabilistic Environments |
157
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
124
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
126
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes a probabilistic framework for navigation using only appearance data. By learning a generative model of appearance, we can compute not only the similarity o...
141
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
168
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...