489 search results - page 46 / 98 » A Formal Model for Process Context Learning |
103
click to vote
SIGGRAPH
1996
ACM
15 years 4 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
100
click to vote
WAIM
2000
Springer
15 years 3 months ago
2000
Springer
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
118
click to vote
ISAMI
2010
14 years 9 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
SOCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...