2661 search results - page 183 / 533 » Model Checking Performability Properties |
118
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
147
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
172
Voted
PODS
1994
ACM
15 years 7 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
117
Voted
CORR
2010
Springer
15 years 29 days ago
2010
Springer
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...
115
Voted
ISCAS
2006
IEEE
2006
IEEE
Performance of time-frequency localized and frequency selective filter banks in multicarrier systems
15 years 9 months ago
— This paper studies filter bank based multicarrier data transmission over wireless mobile channel. A complex modulated filter bank, based on cosine and sine modulated filter ...