1022 search results - page 31 / 205 » Specification of Dynamics for Knowledge-Based Systems |
155
click to vote
TMI
2010
14 years 9 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
126
click to vote
ECRA
2002
15 years 2 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
123
click to vote
LREC
2008
15 years 4 months ago
2008
Generally, ontology learning and population is applied as a semi-automatic approach to knowledge acquisition in natural language understanding systems. That means, after the ontol...
113
click to vote
VL
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper outlines a method to specify a wide range of diagrams by hypergraphs and diagram dynamics by hypergraph rewrite rules. The specification of a diagram language together ...
113
click to vote
IJRR
2008
15 years 3 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...