Sciweavers

3716 search results - page 3 / 744
» On the monotonization of the training set
Sort
View
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 1 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
LPNMR
2001
Springer
15 years 2 months ago
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics
Christian Anger, Kathrin Konczak, Thomas Linke
FSS
2010
120views more  FSS 2010»
14 years 7 months ago
Sugeno integral based on absolutely monotone real set functions
Biljana P. Mihailovic, Endre Pap
SAGT
2009
Springer
177views Game Theory» more  SAGT 2009»
15 years 4 months ago
Characterizing Incentive Compatibility for Convex Valuations
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
André Berger, Rudolf Müller, Seyed Hos...
JSYML
2006
86views more  JSYML 2006»
14 years 10 months ago
Degrees of monotone complexity
Levin and Schnorr (independently) introduced the monotone complexity, Km(), of a binary string . We use monotone complexity to define the relative complexity (or relative randomnes...
William C. Calhoun