2128 search results - page 81 / 426 » A general characterization of indulgence |
105
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Software is developed for and in a vast number of contexts. Some software systems are small in size; some large. Some systems are developed by small teams; some large. Some projec...
107
Voted
ISAAC
2003
Springer
15 years 5 months ago
2003
Springer
We consider the problem of characterizing user equilibria and optimal solutions for selfish routing in a given network. We extend the known models by considering malicious behavio...
130
click to vote
ICLP
1992
Springer
15 years 4 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
104
Voted
IPCO
2007
15 years 2 months ago
2007
According to the present state of the theory of the matroid matching problem, the existence of a good characterization to the size of a maximum matching depends on the behavior of ...
75
Voted
FSS
2008
15 years 20 days ago
2008
: We define a regularity axiom for lattice-valued convergence spaces where the lattice is a complete Heyting algebra. To this end, we generalize the characterization of regularity ...