2128 search results - page 185 / 426 » A general characterization of indulgence |
142
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
171
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
- The problem of stochastic sequential machines (SSM) synthesis is addressed and its relationship with the constrained sequence generation problem which arises during power estimat...
173
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In medicine, there are many diseases which cannot be precisely characterized but are considered as natural kinds. In the communication between health care professionals, ...
146
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The concept of virtual holonomic constraints is extended to the case of double support, which is characterized by a closed kinematic chain and redundancy in the state variables. An...
157
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe several experiments designed to characterize jitter in an actual automotive application designed using FlexCAN, a CAN based communication architecture. ...