2335 search results - page 369 / 467 » Type Checking Type Classes |
118
Voted
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we benchmark three popular database representations of RDF/S schemata and data: (a) a schema-aware (i.e., one table per RDF/S class or property) with explic...
118
Voted
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This work presents decision trees adequate for the classification of series data. There are several methods for this task, but most of them focus on accuracy. One of the requirem...
124
Voted
COLT
2004
Springer
15 years 7 months ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...
143
Voted
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
101
click to vote
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...