8337 search results - page 359 / 1668 » Reasoning With Characteristic Models |
165
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
Abstract. The paper deals with the recursive identification of dynamic systems having noninvertible output characteristics, which can be represented by the Wiener model. A special ...
197
click to vote
WOSP
2005
ACM
16 years 10 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
173
click to vote
CONTEXT
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
212
click to vote
LPNMR
2007
Springer
16 years 28 days ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
172
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...