1943 search results - page 206 / 389 » Ordering Default Theories |
204
click to vote
RTA
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
163
click to vote
HICSS
2003
IEEE
16 years 13 days ago
2003
IEEE
In order to understand organizational memory, it is important to understand how things become adopted as memory resources in organizations. In this paper, we describe the genesis ...
178
click to vote
ISIPTA
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper argues in favor of the thesis that two different concepts of conditional interval probability are needed, in order to serve the huge variety of tasks conditional probab...
164
click to vote
COMPGEOM
2003
ACM
16 years 12 days ago
2003
ACM
Randomized incremental constructions are widely used in computational geometry, but they perform very badly on large data because of their inherently random memory access patterns...
198
click to vote
DGCI
2003
Springer
16 years 11 days ago
2003
Springer
In order to make image analysis methods more reliable it is important to analyse to what extend shape information is preserved during image digitization. Most existing approaches t...