2316 search results - page 85 / 464 » The many forms of hypercomputation |
132
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
135
click to vote
DLT
2010
15 years 4 months ago
2010
We show that for every deterministic bottom-up tree transducer, a unique equivalent transducer can be constructed which is minimal. The construction is based on a sequence of norma...
134
click to vote
CGF
2010
15 years 4 months ago
2010
Symmetry is one of the most important properties of a shape, unifying form and function. It encodes semantic information on one hand, and affects the shape's aesthetic value ...
106
click to vote
FOCM
2008
15 years 4 months ago
2008
For an ideal I R[x] given by a set of generators, a new semidefinite characterization of its real radical I(VR(I)) is presented, provided it is zero-dimensional (even if I is not...
128
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....