1195 search results - page 187 / 239 » Modeling an Algebraic Stepper |
161
click to vote
SAM
2004
15 years 7 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
148
click to vote
FLAIRS
2000
15 years 7 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
162
click to vote
AAAI
1994
15 years 7 months ago
1994
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
157
click to vote
AAAI
1996
15 years 7 months ago
1996
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
189
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we prese...