5608 search results - page 348 / 1122 » Structure description tools |
239
Voted
POPL
1999
ACM
15 years 9 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
133
Voted
SYRCODIS
2008
15 years 6 months ago
2008
Existing p2p file sharing networks doesn't always give their users abilities to make an effective and fast searches for particular data. In this paper we introduce some impro...
133
click to vote
RIVF
2003
15 years 6 months ago
2003
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...
126
Voted
ACL
1998
15 years 6 months ago
1998
This paper proposes decoupling the dependency tree from word order, such that surface ordering is not determined by traversing the dependency tree. We develop the notion of a word...
108
Voted
MVA
1990
15 years 6 months ago
1990
A new handwriting model is proposed for simulating complex handwriting variation in obedience to individual handwriting tendencies. Individual handwriting t,endency is represented...