3166 search results - page 488 / 634 » Translation By Structural Correspondences |
72
Voted
DCC
2002
IEEE
16 years 19 days ago
2002
IEEE
We consider source requantization in two forms -- successive degradation (i.e., source fidelity reduction) and bit stealing (i.e., information embedding) -when no forward planning...
96
Voted
ALT
2003
Springer
15 years 10 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
111
Voted
CVPR
2009
IEEE
15 years 7 months ago
2009
IEEE
Analyzing videos of human activities involves not only recognizing actions (typically based on their appearances), but also determining the story/plot of the video. The storyline ...
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
The ultimate aim of many live-cell fluorescence microscopy imaging experiments is the quantitative analysis of the spatial structure and temporal behavior of intracellular object...
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...