2801 search results - page 96 / 561 » On the Adequateness of the Connection Method |
166
click to vote
IRAL
2000
ACM
15 years 8 months ago
2000
ACM
With the worldwide growth of the Internet, research on Cross-Language Information Retrieval (CLIR) is being paid much attention. Existing CLIR approaches based on query translatio...
139
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
125
click to vote
CBMS
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a method for optimizing prostate needle biopsy, by creating a statistical atlas of the spatial distribution of prostate cancer from a large patient cohort. In ...
162
click to vote
TYPES
1995
Springer
15 years 8 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
137
click to vote
ASWEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...