1713 search results - page 17 / 343 » Analysis of Procedure Splitability |
ICTAC
2009
Springer
13 years 5 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
ICML
1998
IEEE
14 years 8 months ago
1998
IEEE
Three factors are related in analyses of performance curves such as learning curves: the amount of training, the learning algorithm, and performance. Often we want to know whether...
APN
2005
Springer
14 years 1 months ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
WETICE
1996
IEEE
14 years 3 days ago
1996
IEEE
The Goal Based Requirements Analysis Tool GBRAT is designed to support goal-based requirements analysis. The tool provides procedural support for the identi cation, elaboration, r...
IJCAI
1989
13 years 9 months ago
1989
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...