3224 search results - page 488 / 645 » Abstract Error Projection |
156
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
191
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
163
click to vote
CLEF
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes an investigation of data fusion techniques for spoken document retrieval. The effectiveness of retrievals solely based on the outputs from automatic...
168
click to vote
CLEF
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Esfinge is a general domain Portuguese question answering system. It tries to apply simple techniques to large amounts of text. Esfinge participated last year in the mono...
181
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...