5964 search results - page 120 / 1193 » A theory of speculative computation |
125
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
146
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
161
click to vote
COMGEO
2002
ACM
15 years 4 months ago
2002
ACM
The goals of this paper are twofold. The first is to present a new sampling theory for curves, based on a new notion of local feature size. The properties of this new feature size...
130
click to vote
JSC
2011
14 years 11 months ago
2011
Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for re...
131
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...