5973 search results - page 102 / 1195 » Fundamental forms of information |
147
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
155
click to vote
ECSCW
1997
15 years 7 months ago
1997
: Extending and reinterpreting earlier work on the 'Spatial Model', this paper presents a generic model for supporting awareness in cooperative systems ('the AETHER ...
143
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
150
click to vote
COGSCI
2004
15 years 6 months ago
2004
of natural language syntax often characterize grammatical knowledge as a form of abstract computation. This paper argues that such a characterization is correct, and that fundamen...
145
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
This paper outlines a vision for community-driven sensing of our environment. At its core, community sensing is a dynamic new form of mobile geosensor network. We believe that com...