Sciweavers

8695 search results - page 347 / 1739
» Making the Complex Simple
Sort
View
CJ
2006
78views more  CJ 2006»
15 years 6 months ago
A Very Mathematical Dilemma
Mathematics is facing a dilemma at its heart: the nature of mathematical proof. We have known since Church and Turing independently showed that mathematical provability was undeci...
Alan Bundy
COR
2006
83views more  COR 2006»
15 years 6 months ago
Modelling and solving English Peg Solitaire
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
Christopher Jefferson, Angela Miguel, Ian Miguel, ...
ENDM
2006
70views more  ENDM 2006»
15 years 6 months ago
Quasirandomness in Graphs
Jim Propp's rotor router model is a simple deterministic analogue of a random walk. Instead of distributing chips randomly, it serves the neighbors in a fixed order. We analy...
Benjamin Doerr, Tobias Friedrich
IVC
2008
142views more  IVC 2008»
15 years 6 months ago
3D-spline reconstruction using shape from shading: Spline from shading
In this work, we propose an original method of resolution of the shape from shading problem, which is accurate and converges with a few iterations. It relies on two simple ideas. ...
Frédéric Courteille, Alain Crouzil, ...
JAPLL
2008
76views more  JAPLL 2008»
15 years 6 months ago
The many faces of counts-as: A formal analysis of constitutive rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum