2748 search results - page 200 / 550 » Generating Object-Z Specifications from Use Cases |
184
click to vote
VLDB
2007
ACM
16 years 29 days ago
2007
ACM
Many applications need to solve the following problem of approximate string matching: from a collection of strings, how to find those similar to a given string, or the strings in ...
114
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...
124
click to vote
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
119
click to vote
SIGGRAPH
1997
ACM
15 years 4 months ago
1997
ACM
An object model for computer graphics applications should contain two aspects of information: shape and reflectance properties of the object. A number of techniques have been deve...
124
Voted
WCRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...