2138 search results - page 332 / 428 » Logical Step-Indexed Logical Relations |
137
Voted
ISCI
2006
15 years 4 months ago
2006
The use of the computing with words paradigm for the automatic text documents categorization problem is discussed. This specific problem of information retrieval (IR) becomes more...
118
Voted
AI
2005
Springer
15 years 4 months ago
2005
Springer
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
124
click to vote
JAPLL
2007
15 years 4 months ago
2007
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
133
click to vote
CVIU
2004
15 years 4 months ago
2004
We present a new representation and recognition method for human activities. An activity is considered to be composed of action threads, each thread being executed by a single act...
125
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...