11168 search results - page 256 / 2234 » Abstract State Processes |
232
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
179
Voted
IMC
2005
ACM
16 years 10 days ago
2005
ACM
Abstract— The well-known PASTA (“Poisson Arrivals See Time Averages”) property states that, under very general conditions, the fraction of Poisson arrivals that observe an un...
173
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- In this paper we study different distributed estimation schemes for stochastic discrete time linear systems where the communication between the sensors and the estimatio...
191
Voted
EAMT
1993
15 years 11 months ago
1993
Daelemans W. Abstraction Considered Harmful: Lazy Learning of Language Processing. Proceedings of the 6th 5th Belgian-Dutch Conference on Machine Learning 1996; 3-12.
130
click to vote
SFP
2001
15 years 8 months ago
2001
: Eden is a parallel functional language which extends Haskell with new expressions to de