3342 search results - page 572 / 669 » Automating Abstract Interpretation |
105
Voted
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
117
Voted
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
100
click to vote
MICCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A fully automated method for quantitative analysis of dynamic contrast-enhanced MRI data acquired with low and high field scanners, using spin echo and gradient echo seq...
125
Voted
PREMI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Robust tracking of objects in video is a key challenge in computer vision with applications in automated surveillance, video indexing, human-computer-interaction, gesture...
RR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...