1521 search results - page 159 / 305 » On Sampled Semantics of Timed Systems |
135
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
110
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Compliance in robot mounted force/torque sensors is useful for soft mating of parts. However it generates nearly undamped oscillations when moving the end-effector in free spac...
138
click to vote
WSC
2008
15 years 6 months ago
2008
This paper summarizes new analytical and empirical results for the economic approach to simulation selection problems that we introduced two years ago. The approach seeks to help ...
139
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
151
click to vote
MUC
1991
15 years 7 months ago
1991
ind this work was to extract a relatively abstract level of information from each sentence , using only a limited vocabulary that was hand-crafted to handle a restricted set of tar...