Sciweavers

1387 search results - page 68 / 278
» Effective Generalization of Relational Descriptions
Sort
View
MKTSCI
2010
100views more  MKTSCI 2010»
13 years 8 months ago
A Model for Trade-Up and Change in Considered Brands
A common theme in the marketing literature is the acquisition and retention of customers as they trade-up from inexpensive, introductory offerings to those of higher quality. We e...
Greg M. Allenby, Mark J. Garratt, Peter E. Rossi
BIRTHDAY
2010
Springer
13 years 11 months ago
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
Vladik Kreinovich
ECEASST
2006
72views more  ECEASST 2006»
13 years 10 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
ISPA
2007
Springer
14 years 4 months ago
Learning Fuzzy Concept Hierarchy and Measurement with Node Labeling
A concept hierarchy is a kind of general form of knowledge representation. Most of the previous researches on describing the concept hierarchy use tree-like crisp taxonomy. However...
Been-Chian Chien, Chih-Hung Hu, Ming-Yi Ju
DLOG
2003
13 years 11 months ago
Implementing Matching in ALE--First Results
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
Sebastian Brandt