Sciweavers

8768 search results - page 128 / 1754
» Generalizing the notion of support
Sort
View
175
Voted
ESAW
2000
Springer
15 years 10 months ago
On Observing and Constraining Active Systems
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
Gianluca Moro, Mirko Viroli
APAL
2006
70views more  APAL 2006»
15 years 7 months ago
On the Hamkins approximation property
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author's thesis of a model with no 2-Aronszajn trees, and also th...
William J. Mitchell
151
Voted
FUIN
2006
64views more  FUIN 2006»
15 years 7 months ago
Injectivity of the Parikh Matrix Mappings Revisited
We deal with the notion of M-unambiguity [5] in connection with the Parikh matrix mapping introduced by Mateescu and others in [7]. M-unambiguity is studied both in terms of words ...
Virgil Nicolae Serbanuta, Traian-Florin Serbanuta
174
Voted
ENTCS
2002
99views more  ENTCS 2002»
15 years 6 months ago
Greatest Bisimulations for Binary Methods
In previous work [14] I introduced a generalised notion of coalgebra that is capable of modelling binary methods as they occur in object-oriented programming. An important problem...
Hendrik Tews
148
Voted
AVSS
2007
IEEE
16 years 1 months ago
Classification of gait types based on the duty-factor
This paper deals with classification of human gait types based on the notion that different gait types are in fact different types of locomotion, i.e., running is not simply walk...
Preben Fihl, Thomas B. Moeslund