Sciweavers

2836 search results - page 480 / 568
» Evaluating a Qualitative Reasoner
Sort
View
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 6 months ago
Recognition and translation Arabic-French of Named Entities: case of the Sport places
The recognition of Arabic Named Entities (NE) is a problem in different domains of Natural Language Processing (NLP) like automatic translation. Indeed, NE translation allows the ...
Abdelmajid Ben Hamadou, Odile Piton, Héla F...
CORR
2010
Springer
142views Education» more  CORR 2010»
15 years 6 months ago
XPath Whole Query Optimization
Previous work reports about SXSI, a fast XPath engine which executes tree automata over compressed XML indexes. Here, reasons are investigated why SXSI is so fast. It is shown tha...
Sebastian Maneth, Kim Nguyen
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 6 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
CORR
2008
Springer
133views Education» more  CORR 2008»
15 years 6 months ago
Faceted Ranking of Egos in Collaborative Tagging Systems
Multimedia uploaded content is tagged and recommended by users of collaborative systems, resulting in informal classifications also known as folksonomies. Faceted web ranking has ...
José Ignacio Orlicki, Pablo Ignacio Fierens...
DKE
2010
167views more  DKE 2010»
15 years 6 months ago
The consistency extractor system: Answer set programs for consistent query answering in databases
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
Mónica Caniupán Marileo, Leopoldo E....