1205 search results - page 107 / 241 » Program Extraction from Large Proof Developments |
110
click to vote
AAAI
1994
15 years 2 months ago
1994
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...
117
click to vote
JELIA
1990
Springer
15 years 5 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
114
click to vote
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
123
click to vote
AUSDM
2008
Springer
15 years 3 months ago
2008
Springer
Data mining and knowledge discovery have been applied to datasets in various industries including biomedical data. Modelling, data mining and visualization in biomedical data addr...
102
click to vote
CHI
2008
ACM
16 years 1 months ago
2008
ACM
In this paper, we present a new technology to perform multi Tangible User Interface (TUI) tracking on standard LCdisplays. A lot of existing technologies for tangible user interfa...