490 search results - page 50 / 98 » Abstraction Augmented Markov Models |
190
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
104
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
128
click to vote
AIMSA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...
186
click to vote
IIWAS
2004
15 years 5 months ago
2004
Abstract: To enable efficient access to multimedia content, the media data has to be augmented by semantic metadata and functionality. The semantic representation has to be integra...
150
click to vote
IJCAI
1997
15 years 5 months ago
1997
cal maps provide a useful abstraction for robotic navigation and planning. Although stochastic mapscan theoreticallybe learned using the Baum-Welch algorithm,without strong prior ...