835 search results - page 77 / 167 » Characterizing rosy theories |
CORR
1998
Springer
14 years 11 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
IJCM
2010
14 years 10 months ago
2010
Recognizable transductions constitute a proper subclass of rational transductions, characterized by the well-known Mezei’s Theorem. We propose a family of transducers which refl...
MLQ
2010
14 years 10 months ago
2010
: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we c...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
Many approaches to object recognition are founded on probability theory, and can be broadly characterized as either generative or discriminative according to whether or not the di...
129
click to vote
VIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The ability to identify and present the most essential aspects of time-varying data is critically important in many areas of science and engineering. This paper introduces an impor...