Sciweavers

577 search results - page 16 / 116
» Computing Rational Bisectors
Sort
View
SOFTWARE
2008
13 years 6 months ago
Rational Metaprogramming
Diomidis Spinellis
SIGECOM
2011
ACM
229views ECommerce» more  SIGECOM 2011»
12 years 10 months ago
A revealed preference approach to computational complexity in economics
Recent results in complexity theory suggest that various economic theories require agents to solve computationally intractable problems. However, such results assume the agents ar...
Federico Echenique, Daniel Golovin, Adam Wierman
ACSC
2006
IEEE
13 years 11 months ago
Logic and refinement for charts
We introduce a logic for reasoning about and constructing refinements for
Greg Reeve, Steve Reeves