1874 search results - page 139 / 375 » Abstract Machine for LDL |
113
click to vote
MLMI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This article presents an ego-centric approach for indexing and browsing meetings. The method considers two concepts: meetings’ data alignment with personal information ...
133
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
104
click to vote
ML
2006
ACM
15 years 9 months ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
100
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Seeding the population of an evolutionary algorithm with solutions from previous runs has proved to be useful when learning control strategies for agents operating in a c...
ICCBR
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...