1365 search results - page 52 / 273 » Maximal Causality Analysis |
102
click to vote
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
82
Voted
MOC
1998
15 years 10 days ago
1998
When Newton’s method is applied to find the maximal symmetric solution of an algebraic Riccati equation, convergence can be guaranteed under moderate conditions. In particular, ...
98
Voted
AIME
2009
Springer
15 years 7 months ago
2009
Springer
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
81
Voted
AAAI
2006
15 years 2 months ago
2006
Automated domain factoring, and planning methods that utilize them, have long been of interest to planning researchers. Recent work in this area yielded new theoretical insight an...
ACS
2008
15 years 24 days ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...