1874 search results - page 139 / 375 » Abstract Machine for LDL |
156
click to vote
MLMI
2007
Springer
16 years 15 days 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 ...
182
click to vote
VMCAI
2007
Springer
16 years 15 days 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 ...
140
click to vote
ML
2006
ACM
16 years 10 days 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...
147
click to vote
CEC
2005
IEEE
16 years 9 hour 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...
130
click to vote
ICCBR
2005
Springer
15 years 12 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...