495 search results - page 61 / 99 » Modeling the Vulnerability Discovery Process |
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Recently, there has been an increasing interest in the investigation of statistical pattern recognition models for the fully automatic segmentation of the left ventricle (LV) of t...
SPIN
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
EMNLP
2008
13 years 11 months ago
2008
Previously topic models such as PLSI (Probabilistic Latent Semantic Indexing) and LDA (Latent Dirichlet Allocation) were developed for modeling the contents of plain texts. Recent...
ASWEC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
EDBT
2008
ACM
14 years 9 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...