588 search results - page 112 / 118 » Differential Logic for Reasoning About Hybrid Systems |
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
NIPS
2007
14 years 10 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...
111
click to vote
ENTCS
2006
14 years 9 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
VAMOS
2007
Springer
15 years 3 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...