Sciweavers

6704 search results - page 269 / 1341
» Testing Scenario-Based Models
Sort
View
190
Voted
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 12 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
FGR
2000
IEEE
150views Biometrics» more  FGR 2000»
15 years 11 months ago
From Few to Many: Generative Models for Recognition Under Variable Pose and Illumination
Image variability due to changes in pose and illumination can seriously impair object recognition. This paper presents appearance-based methods which, unlike previous appearance-b...
Athinodoros S. Georghiades, Peter N. Belhumeur, Da...
CEAS
2008
Springer
15 years 8 months ago
Improved Phishing Detection using Model-Based Features
Phishing emails are a real threat to internet communication and web economy. Criminals are trying to convince unsuspecting online users to reveal passwords, account numbers, socia...
André Bergholz, Jeong Ho Chang, Gerhard Paa...
COLING
2008
15 years 8 months ago
Modeling Semantic Containment and Exclusion in Natural Language Inference
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
Bill MacCartney, Christopher D. Manning
160
Voted
PTS
2008
100views Hardware» more  PTS 2008»
15 years 8 months ago
Model-Based Generation of Testbeds for Web Services
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
Antonia Bertolino, Guglielmo De Angelis, Lars Fran...