476 search results - page 24 / 96 » Higher-Precision Groundness Analysis |
IGPL
2007
14 years 9 months ago
2007
Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theo...
COMBINATORICS
2004
14 years 9 months ago
2004
New conjectures are proposed on the numbers of FPL configurations pertaining to certain types of link patterns. Making use of the Razumov and Stroganov Ansatz, these conjectures a...
SIGDIAL
2010
14 years 7 months ago
2010
The paper investigates discourse particles on the example of German doch, assigning to them very specific semantic interpretations that still cover a wide range of their uses. The...
76
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
LIght Detection And Ranging (LIDAR) data for terrain and land surveying has contributed to many environmental, engineering and civil applications. However, the analysis of Digital...
146
Voted
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...