Sciweavers

1662 search results - page 81 / 333
» Privately Finding Specifications
Sort
View
166
Voted
INLG
2010
Springer
15 years 1 months ago
Generating Natural Language Descriptions of Z Test Cases
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
Maximiliano Cristiá, Brian Plüss
106
Voted
JMLR
2010
127views more  JMLR 2010»
14 years 10 months ago
Content-based Image Retrieval with Multinomial Relevance Feedback
The paper considers an interactive search paradigm in which at each round a user is presented with a set of k images and is required to select one that is closest to her target. P...
Dorota Glowacka, John Shawe-Taylor
ICCV
2003
IEEE
16 years 5 months ago
Using Specularities for Recognition
Recognition systems have generally treated specular highlights as noise. We show how to use these highlights as a positive source of information that improves recognition of shiny...
Margarita Osadchy, David W. Jacobs, Ravi Ramamoort...
119
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Analyzing medical processes
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
Bin Chen, George S. Avrunin, Elizabeth A. Henneman...
117
Voted
CHI
2008
ACM
16 years 4 months ago
Pick me!: link selection in expertise search results
Expertise locator systems have been designed to help find experts within organizations. While there are many examples of these systems in the literature, there has not been any sy...
N. Sadat Shami, Kate Ehrlich, David R. Millen