2098 search results - page 368 / 420 » The Persistent Abstract Machine |
113
Voted
COMPUTER
2004
15 years 2 months ago
2004
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
111
Voted
CLEIEJ
2002
15 years 2 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
127
Voted
SIAMCOMP
2000
15 years 2 months ago
2000
Abstract. We consider two natural generalizations of the notion of transversal to a finite hypergraph, arising in data-mining and machine learning, the so called multiple and parti...
171
click to vote
LISP
2002
15 years 2 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...
107
Voted
TODAES
1998
15 years 2 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...