Sciweavers

1307 search results - page 87 / 262
» Follow the intellectual property
Sort
View
ECSQARU
2005
Springer
15 years 7 months ago
Possibility Theory for Reasoning About Uncertain Soft Constraints
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
SEMWEB
2005
Springer
15 years 7 months ago
A Strategy for Automated Meaning Negotiation in Distributed Information Retrieval
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Ma...
96
Voted
WG
2001
Springer
15 years 6 months ago
(k, +)-Distance-Hereditary Graphs
In this work we introduce, characterize, and provide algorithmic results for (k, +)–distance-hereditary graphs, k ≥ 0. These graphs can be used to model interconnection networ...
Serafino Cicerone, Gianluca D'Ermiliis, Gabriele D...
APN
2010
Springer
15 years 5 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...
ISAAC
1998
Springer
90views Algorithms» more  ISAAC 1998»
15 years 5 months ago
Generalized Self-Approaching Curves
Abstract. We consider all planar oriented curves that have the following property depending on a fixed angle . For each point B on the curve, the rest of the curve lies inside a we...
Oswin Aichholzer, Franz Aurenhammer, Christian Ick...