3166 search results - page 529 / 634 » Translation By Structural Correspondences |
84
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
111
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
115
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
109
Voted
ENGL
2008
15 years 24 days ago
2008
An array antenna system with innovative signal processing can enhance the resolution of a signal direction of arrival (DOA) estimation. Super resolution algorithms take advantage o...
97
Voted
ARTMED
2006
15 years 24 days ago
2006
Manual classification of free-text documents within a predefined hierarchy is highly time consuming. This is especially true for clinical guidelines, which are often indexed by mu...