Sciweavers

2438 search results - page 225 / 488
» Consistent Gradient Operators
Sort
View
96
Voted
CPAIOR
2007
Springer
15 years 8 months ago
Necessary Condition for Path Partitioning Constraints
Given a directed graph G, the K node-disjoint paths problem consists in finding a partition of G into K node-disjoint paths, such that each path ends up in a given subset of nodes...
Nicolas Beldiceanu, Xavier Lorca
132
Voted
ICCSA
2007
Springer
15 years 8 months ago
Quasi-hierarchical Evolutionary Algorithm for Flow Optimization in Survivable MPLS Networks
In this paper we address the problem of working paths optimization in survivable MPLS network. We focus on an existing facility network, in which only network flows can be optimize...
Michal Przewozniczek, Krzysztof Walkowiak
116
Voted
ICLP
2007
Springer
15 years 8 months ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
86
Voted
OOPSLA
2007
Springer
15 years 8 months ago
SmartEMF: guidance in modeling tools
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
Anders Hessellund
121
Voted
SEMWEB
2007
Springer
15 years 8 months ago
SODA: an OWL-DL based Ontology Matching System
This paper describes SODA a novel ontology alignment method for the OWL-DL format. SODA uses a new approach that consists in computing local and semantic similarities among ontolog...
Sami Zghal, Sadok Ben Yahia, Engelbert Mephu Nguif...