3229 search results - page 313 / 646 » The Theory of Timed Automata |
206
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
168
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
150
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
168
click to vote
FOIS
2001
15 years 8 months ago
2001
-- Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann [17] has demonstrated the fruit...
169
click to vote
ICAI
2003
15 years 8 months ago
2003
Children will develop their parental languages correctly, since language learners come to obtain the one which they contact most in the community. At the same time, children would ...