300 search results - page 41 / 60 » Reducing Component Systems' Behavior Specification |
AAAI
2000
13 years 10 months ago
2000
We have constructed ADVISOR, a two-agent machine learning architecture for intelligent tutoring systems (ITS). The purpose of this architecture is to centralize the reasoning of a...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This research explores the causes of dealer demand amplification leading to a high volume of seed returns in a typical agribusiness supply chain. Seed production occurs months in ...
HYBRID
1998
Springer
14 years 1 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
ICDM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract -- Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies ...
FORMATS
2006
Springer
14 years 15 days ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...