Sciweavers

3229 search results - page 368 / 646
» Theories with the Independence Property
Sort
View
ACMICEC
2003
ACM
158views ECommerce» more  ACMICEC 2003»
16 years 11 hour ago
Mechanisms for coalition formation and cost sharing in an electronic marketplace
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...
Cuihong Li, Uday Rajan, Shuchi Chawla, Katia Sycar...
167
Voted
COMPGEOM
2003
ACM
16 years 11 hour ago
Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation
We introduce anisotropic Voronoi diagrams, a generalization of multiplicatively weighted Voronoi diagrams suitable for generating guaranteed-quality meshes of domains in which lon...
François Labelle, Jonathan Richard Shewchuk
ASP
2003
Springer
15 years 12 months ago
Outlier Detection Using Default Logic
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luig...
AOSE
2001
Springer
15 years 11 months ago
Expectation-Oriented Analysis and Design
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
Wilfried Brauer, Matthias Nickles, Michael Rovatso...
ISSRE
2000
IEEE
15 years 11 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...