263 search results - page 31 / 53 » The Conceptual Integration Modeling Framework: Abstracting f... |
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
LADS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
ER
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, co...