685 search results - page 102 / 137 » Closure Operators for Order Structures |
121
click to vote
CGF
2005
15 years 1 months ago
2005
In this paper we explore the algorithmic space in which stripification, simplification and geometric compression of triangulated 2-manifolds overlap. Edge-collase/uncollapse based...
138
click to vote
KI
2012
Springer
13 years 9 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
129
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
155
Voted
FAST
2009
14 years 11 months ago
2009
Provenance describes how an object came to be in its present state. Thus, it describes the evolution of the object over time. Prior work on provenance has focussed on databases an...
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
Transactional memory (TM) is a promising approach for designing concurrent data structures, and it is essential to develop better understanding of the formal properties that can b...