2374 search results - page 194 / 475 » The language of machines |
POPL
1997
ACM
14 years 17 days ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
ICML
2009
IEEE
14 years 3 months ago
2009
IEEE
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models...
FQAS
2009
Springer
14 years 2 months ago
2009
Springer
Information extraction systems have been dealt with at length from the viewpoint of users posing definite questions whose expected answer is to be found in a document collection. T...
ACL
1998
13 years 9 months ago
1998
Any large language processing software relies in its operation on heuristic decisions concerning the strategy of processing. These decisions are usually "hard-wired" int...
ML
2008
ACM
13 years 8 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...