411 search results - page 33 / 83 » Automating the Dependency Pair Method |
107
Voted
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In preference learning, the algorithm observes pairwise relative judgments (preference) between items as training data for learning an ordering of all items. This is an i...
88
Voted
TARK
1998
Springer
15 years 4 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...
114
Voted
RTA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper shows that the suitable orderings for proving innermost termination are characterized by the innermost parallel monotonicity, IP-monotonicity for short. This p...
111
Voted
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
165
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: Medical image segmentation often involves variants of deformable models to account for both the variability of object shapes and variation in image quality. Segmentation quality,...