8669 search results - page 400 / 1734 » Computing matrix representations |
177
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (r...
170
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
188
click to vote
ENTCS
2011
15 years 1 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
157
click to vote
SIBGRAPI
2005
IEEE
16 years 13 days ago
2005
IEEE
This work proposes a scheme for multi–resolution representation of union of balls in the plane. This representation is inspired by curvature motion for smooth curves. More precis...
155
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
Learning genetic representation has been shown to be a useful tool in evolutionary computation. It can reduce the time required to find solutions and it allows the search process ...