Sciweavers

2128 search results - page 103 / 426
» A general characterization of indulgence
Sort
View
JANCL
2008
133views more  JANCL 2008»
15 years 4 months ago
Modal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
Johan van Benthem, Denis Bonnay
SIGECOM
2008
ACM
103views ECommerce» more  SIGECOM 2008»
15 years 4 months ago
Mechanism design over discrete domains
Often, we wish to design incentive-compatible algorithms for settings in which the players' private information is drawn from discrete domains (e.g., integer values). Our mai...
Ahuva Mu'alem, Michael Schapira
ACS
2000
15 years 4 months ago
Free Adjunction of Morphisms
Abstract. We develop a general setting for the treatment of extensions of categories by means of freely adjoined morphisms. To this end, we study what we call composition graphs, i...
Lutz Schröder, Horst Herrlich
DEBU
2002
97views more  DEBU 2002»
15 years 4 months ago
Towards Increasingly Update Efficient Moving-Object Indexing
Current moving-object indexing concentrates on point-objects capable of continuous movement in one-, two-, and three-dimensional Euclidean spaces, and most approaches are based on...
Christian S. Jensen, Simonas Saltenis
JCC
2002
88views more  JCC 2002»
15 years 4 months ago
Pattern recognition strategies for molecular surfaces. I. Pattern generation using fuzzy set theory
: A new method for the characterization of molecules based on the model approach of molecular surfaces is presented. We use the topographical properties of the surface as well as t...
Thomas E. Exner, Matthias Keil, Jürgen Brickm...