3166 search results - page 134 / 634 » Translation By Structural Correspondences |
150
click to vote
FUIN
2008
15 years 6 months 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...
161
click to vote
CORR
2004
Springer
15 years 6 months 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...
156
click to vote
ICPR
2006
IEEE
16 years 7 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...
185
click to vote
VMCAI
2010
Springer
16 years 3 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...
138
click to vote
ISBI
2009
IEEE
16 years 1 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 ...