2947 search results - page 130 / 590 » Analyzing Program Analyses |
234
click to vote
GIS
2011
ACM
14 years 8 months ago
2011
ACM
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...
187
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
154
click to vote
FSTTCS
1999
Springer
15 years 9 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
145
click to vote
SFP
2003
15 years 6 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
245
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...