3166 search results - page 134 / 634 » Translation By Structural Correspondences |
FUIN
2008
15 years 25 days ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
98
Voted
CORR
2004
Springer
15 years 19 days ago
2004
Springer
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
97
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
The structure tensor yields an excellent characterization of the local dimensionality and the corresponding orientation for simple neighborhoods, i.e. neighborhoods exhibiting a s...
125
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
81
Voted
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
A novel method for the segmentation of brain structures combining registration-based and EM-based approaches is proposed. To address the issue of intensity variation within brain ...