6431 search results - page 396 / 1287 » Model Building by Resolution |
213
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
189
Voted
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...
186
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
170
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
188
click to vote
ACL
2008
15 years 8 months ago
2008
Current re-ranking algorithms for machine translation rely on log-linear models, which have the potential problem of underfitting the training data. We present BoostedMERT, a nove...