6846 search results - page 480 / 1370 » Developing an Active Observer |
180
click to vote
CHARME
2005
Springer
16 years 18 days ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
188
click to vote
CPAIOR
2005
Springer
16 years 17 days ago
2005
Springer
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...
174
Voted
SEMWEB
2005
Springer
16 years 16 days ago
2005
Springer
Probabilistic inference will be of special importance when one needs to know how much we can say with what all we know given new observations. Bayesian Network is a graphical prob...
154
click to vote
HOLOMAS
2005
Springer
16 years 15 days ago
2005
Springer
Information-based agency is founded on two observations: everything in an agent’s world model is uncertain, and everything that an agent communicates gives away valuable informa...
178
click to vote
ER
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. For systems that share enough structural and functional commonalities, reuse in schema development and data manipulation can be achieved by defining problem-oriented lang...