4341 search results - page 425 / 869 » Quantitative Model checking |
144
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...
180
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
Digital identity and trust management mechanisms play an important role on the Internet. They help users make decisions on trustworthiness of digital identities in online communit...
194
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In today’s large and complex network scenario vulnerability scanners play a major role from security perspective by proactively identifying the known security problems or vulner...
164
click to vote
PADS
2005
ACM
16 years 13 days ago
2005
ACM
The use of software diversity has often been discussed in the research literature as an effective means to break up the software monoculture present on the Internet and to thus p...
195
click to vote
DSMML
2004
Springer
16 years 8 days ago
2004
Springer
Learning curves for Gaussian process (GP) regression can be strongly affected by a mismatch between the ‘student’ model and the ‘teacher’ (true data generation process), e...