325 search results - page 16 / 65 » Automatic Generation of Editors for Higher-Order Data Struct... |
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Turning the current Web into a Semantic Web requires automatic approaches for annotation of existing data since manual approaches will not scale in general. We here present an app...
SC
1995
ACM
14 years 8 days ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
EMNLP
2011
12 years 8 months ago
2011
We propose a general method to watermark and probabilistically identify the structured outputs of machine learning algorithms. Our method is robust to local editing operations and...
ER
2007
Springer
14 years 2 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...