8486 search results - page 390 / 1698 » Ordered Enumeration Method |
208
click to vote
LOPSTR
2004
Springer
16 years 24 days ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
206
click to vote
RT
2001
Springer
15 years 12 months ago
2001
Springer
We present a new conservative image-based occlusion culling method to increase the speed of hardware accelerated rendering of very complex general scenes which may consist of mill...
203
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Vector field visualization remains a difficult task. Many local and global visualization methods for vector fields such as flow data exist, but they usually require extensive user...
218
click to vote
FTP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
178
Voted
TARK
1998
Springer
15 years 11 months ago
1998
Springer
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...