2299 search results - page 226 / 460 » Logical Data Expiration |
182
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
173
click to vote
SIGCSE
2005
ACM
16 years 3 days ago
2005
ACM
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
206
click to vote
PKDD
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
186
click to vote
RULEML
2005
Springer
16 years 1 days ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
184
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...