Sciweavers

4209 search results - page 659 / 842
» Abstract Dialectical Frameworks
Sort
View
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
15 years 9 months ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
SEMWEB
2004
Springer
15 years 9 months ago
Opening Up Magpie via Semantic Services
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
Martin Dzbor, Enrico Motta, John Domingue
SEMWEB
2004
Springer
15 years 9 months ago
OntoViews - A Tool for Creating Semantic Web Portals
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
Eetu Mäkelä, Eero Hyvönen, Samppa S...
TSD
2004
Springer
15 years 9 months ago
Handling Multi-word Expressions Without Explicit Linguistic Rules in an MT System
Abstract. Translation of Multi-word expressions (MWEs) is one of the most challenging tasks of a Machine translation (MT) system. In this paper, we present an innovative technique ...
Akshar Bharati, Rajeev Sangal, Dipti Mishra, Srira...
ECCV
2010
Springer
15 years 9 months ago
Crowd Detection with a Multiview Sampler
Abstract. We present a Bayesian approach for simultaneously estimating the number of people in a crowd and their spatial locations by sampling from a posterior distribution over cr...