11016 search results - page 528 / 2204 » Cloud Computing for Science |
158
click to vote
CAD
2002
Springer
15 years 6 months ago
2002
Springer
A general discussion of the including approximation of a curve by a fat arc is given followed by an algorithm for constructing an including fat arc for a parametric Be
129
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt
196
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.