Sciweavers

486 search results - page 66 / 98
» Expressing OLAP Preferences
Sort
View
CSCLP
2008
Springer
13 years 9 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
EATCS
2000
108views more  EATCS 2000»
13 years 7 months ago
The Underlying Logic of Hoare Logic
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
Andreas Blass, Yuri Gurevich
ECAI
2010
Springer
13 years 5 months ago
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
Céline Hudelot, Jamal Atif, Isabelle Bloch
EOR
2011
140views more  EOR 2011»
12 years 11 months ago
Compact bidding languages and supplier selection for markets with economies of scale and scope
Combinatorial auctions have been used in procurement markets with economies of scope. Preference elicitation is already a problem in single-unit combinatorial auctions, but it bec...
Martin Bichler, Stefan Schneider, Kemal Guler, Meh...
BMCBI
2004
124views more  BMCBI 2004»
13 years 7 months ago
XHM: A system for detection of potential cross hybridizations in DNA microarrays
Background: Microarrays have emerged as the preferred platform for high throughput gene expression analysis. Cross-hybridization among genes with high sequence similarities can be...
Kristian Flikka, Fekadu Yadetie, Astrid Lægr...