Sciweavers

2858 search results - page 276 / 572
» Logics with Aggregate Operators
Sort
View
ICLP
2007
Springer
16 years 22 days 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
GLOBECOM
2006
IEEE
16 years 20 days ago
Multi-Fasnet Protocol: Short-Term Fairness Control in WDM Slotted MANs
— Single-hop wavelength division multiplexing (WDM) ring networks operating in packet mode are a promising architecture for the design of innovate Metropolitan Area Networks. The...
Andrea Bianco, Davide Cuda, Jorge M. Finochietto, ...
DASFAA
2005
IEEE
148views Database» more  DASFAA 2005»
16 years 6 days ago
CMC: Combining Multiple Schema-Matching Strategies Based on Credibility Prediction
Schema matching is a key operation in data engineering. Combining multiple matching strategies is a very promising technique for schema matching. To overcome the limitations of exi...
Kewei Tu, Yong Yu
ISIPTA
2005
IEEE
143views Mathematics» more  ISIPTA 2005»
16 years 5 days ago
A Granular Semantics for Fuzzy Measures and its Application to Climate Change Scenarios
A granular based semantics for fuzzy measures is introduced in which the measure of a set of propositions approximates the probability of the disjunction of these propositions. Th...
Jonathan Lawry, Jim Hall, Guangtao Fu
IEAAIE
2005
Springer
16 years 3 days ago
A Fuzzy Genetic Algorithm for Real-World Job Shop Scheduling
In this paper, a multi-objective genetic algorithm is proposed to deal with a real-world fuzzy job shop scheduling problem. Fuzzy sets are used to model uncertain due dates and pro...
Carole Fayad, Sanja Petrovic