1414 search results - page 111 / 283 » Combining Intruder Theories |
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...
87
Voted
SAGT
2009
Springer
15 years 7 months ago
2009
Springer
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...
90
Voted
SAGT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper studies a setting where a principal needs to motivate teams of agents whose efforts lead to an outcome that stochastically depends on the combination of agent...
103
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper proposes a library-free technology mapping algorithm to reduce delay in combinational circuits. The algorithm reduces the overall number of series transistors through t...
80
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...