Sciweavers

4737 search results - page 753 / 948
» The LOGIC negotiation model
Sort
View
RTA
2005
Springer
16 years 19 days ago
Natural Narrowing for General Term Rewriting Systems
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
Santiago Escobar, José Meseguer, Prasanna T...
SEMWEB
2005
Springer
16 years 19 days ago
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
Peter Haase, Johanna Völker
SEMWEB
2005
Springer
16 years 19 days ago
Containment and Minimization of RDF/S Query Patterns
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
Giorgos Serfiotis, Ioanna Koffina, Vassilis Christ...
CSCLP
2005
Springer
16 years 18 days ago
Among, Common and Disjoint Constraints
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
Christian Bessière, Emmanuel Hebrard, Brahi...
BIRTHDAY
2004
Springer
16 years 17 days ago
Duality for Three: Ternary Symmetry in Process Spaces
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
Janusz A. Brzozowski, Radu Negulescu