5775 search results - page 328 / 1155 » A Rationale-based Analysis Tool |
170
click to vote
CIARP
2009
Springer
16 years 1 months ago
2009
Springer
The concept of probabilistic Latent Semantic Analysis (pLSA) has gained much interest as a tool for feature transformation in image categorization and scene recognition scenarios. ...
155
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
168
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
182
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— MPEG-2 to H.264/AVC transcoding is an important module for video recoding in digital TV applications. For pixel domain transcoding, MPEG-2 bitstream is decoded and then reencod...
166
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...