431 search results - page 38 / 87 » Using Formal Methods to Reason about Architectural Standards |
AI
1999
Springer
14 years 11 months ago
1999
Springer
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...
100
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
113
click to vote
JAIR
1998
14 years 11 months ago
1998
This paper presents a general and efficient framework for probabilistic inference and learning from arbitrary uncertain information. It exploits the calculation properties of fini...
117
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
NIPS
2007
15 years 1 months ago
2007
In transfer learning we aim to solve new problems using fewer examples using information gained from solving related problems. Transfer learning has been successful in practice, a...