2467 search results - page 253 / 494 » Finite State Machines |
172
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
Arc splines are G1 continuous curves made of circular arcs and straight-line segments. They have the advantages that the curvature of an arc spline is known and controlled at all ...
158
click to vote
CJ
1999
15 years 6 months ago
1999
Problems in probabilistic induction are of two general kinds. In the first, we have a linearly ordered sequence of symbols that must be extrapolated. In the second we want to extr...
285
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
168
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
160
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
The processing power and memory capacity of independent and heterogeneous parallel machines can be combined to form a single parallel system that is more powerful than any of its ...