Sciweavers

2374 search results - page 223 / 475
» The language of machines
Sort
View
WCFLP
2005
ACM
14 years 2 months ago
Translating curry to haskell system demo
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
Bernd Braßel, Frank Huch
PPDP
2004
Springer
14 years 1 months ago
Just enough tabling
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
Konstantinos F. Sagonas, Peter J. Stuckey
ML
2006
ACM
103views Machine Learning» more  ML 2006»
14 years 2 months ago
Type-safe distributed programming for OCaml
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
John Billings, Peter Sewell, Mark R. Shinwell, Rok...
AAAI
2010
13 years 10 months ago
Panlingual Lexical Translation via Probabilistic Inference
The bare minimum lexical resource required to translate between a pair of languages is a translation dictionary. Unfortunately, dictionaries exist only between a tiny fraction of ...
Mausam, Stephen Soderland, Oren Etzioni
TAL
2004
Springer
14 years 1 months ago
Unsupervised Training of a Finite-State Sliding-Window Part-of-Speech Tagger
A simple, robust sliding-window part-of-speech tagger is presented and a method is given to estimate its parameters from an untagged corpus. Its performance is compared to a standa...
Enrique Sánchez Villamil, Mikel L. Forcada,...