Sciweavers

3716 search results - page 3 / 744
» On the monotonization of the training set
Sort
View
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
13 years 10 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
13 years 11 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»
13 years 4 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»
14 years 1 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»
13 years 6 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