5726 search results - page 724 / 1146 » Supporting annotations on relations |
206
click to vote
SETN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Single classifiers, such as Neural Networks, Support Vector Machines, Decision Trees and other, can be used to perform classification of data for relatively simple proble...
184
click to vote
SGAI
2004
Springer
16 years 4 days ago
2004
Springer
Some types of animals exploit the external environment to support their cognitive processes, in the sense of patterns created in the environment that function as external mental s...
195
click to vote
TYPES
2004
Springer
16 years 4 days ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
165
click to vote
VLDB
2004
ACM
16 years 4 days ago
2004
ACM
We consider the problem of horizontally partitioning a dynamic relation across a large number of disks/nodes by the use of range partitioning. Such partitioning is often desirable...
169
click to vote
WEBDB
2004
Springer
16 years 4 days ago
2004
Springer
We consider the scenario where existing relational data is exported as XML. In this context, we look at the problem of translating XML queries into SQL. XML query languages have t...