4281 search results - page 111 / 857 » How to Disembed a Program |
JFP
2010
15 years 22 days ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
112
click to vote
IUI
2012
ACM
13 years 10 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
128
click to vote
AAAI
2008
15 years 4 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
140
click to vote
FLAIRS
2008
15 years 4 months ago
2008
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...
124
click to vote
AMW
2010
15 years 3 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...