102 search results - page 19 / 21 » Reformulation for Extensional Reasoning |
VLDB
2004
ACM
15 years 2 months ago
2004
ACM
Query containment is the most fundamental relationship between a pair of database queries: a query Q is said to be contained in a query Q if the answer for Q is always a subset of...
PEPM
1994
ACM
15 years 1 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
ICVGIP
2004
14 years 10 months ago
2004
In this paper, we present a holistic system for the recognition of cursive handwriting that utilizes a novel feature extraction method and a neural network. The Hough transform is...
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
The least-absolute shrinkage and selection operator (Lasso) is a popular tool for joint estimation and continuous variable selection, especially well-suited for the under-determin...
DAI
1995
Springer
15 years 1 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...