1054 search results - page 16 / 211 » Translation Validation of System Abstractions |
105
click to vote
IPMI
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this paper, we propose an original and efficient tree matching algorithm for intra-patient hepatic vascular system registration. Vascular systems are segmented from CT...
109
click to vote
ISPW
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
COLING
2002
14 years 11 months ago
2002
To help developing a localization oriented EBMT system, an automatic machine translation evaluation method is implemented which adopts edit distance, cosine correlation and Dice c...
FIW
2009
14 years 9 months ago
2009
Abstract. We explore and discuss different ways of expressing service specifications in the context of home automation systems implemented on OSGiTM. We found that the approach use...
ENTCS
2002
14 years 11 months ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...