581 search results - page 102 / 117 » Building and applying geographical information system Grids |
118
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
103
click to vote
AAAI
1996
15 years 3 months ago
1996
This paper describes the results of applying a modified version of hierarchical task-network (HTN) planning to the problem of declarer play in contract bridge. We represent inform...
141
Voted
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
107
Voted
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Microaggregation is one of the most employed microdata protection methods. The idea is to build clusters of at least k original records, and then replace them with the centroid of...
128
click to vote
CC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...