738 search results - page 20 / 148 » Behavioral Systems Theory: A Survey |
154
click to vote
CALCO
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
201
click to vote
DFG
1992
Springer
15 years 10 months ago
1992
Springer
Determining time necessary for computing important functions on parallel machines is one of the most important problems in complexity theory for parallel algorithms. Recently, a s...
107
click to vote
ISM
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, we assess the possibility of a critical knowledge of technology. In the case of facial recognition systems, ‘FRS’, we argue that behaviorism underlies this tech...
152
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
Ambient lifestyle feedback systems are embedded computer systems designed to motivate changes in a person's lifestyle by reflecting an interpretation of targeted behavior bac...
170
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...