10271 search results - page 394 / 2055 » Computer Science |
129
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
This paper addresses the problem of constructing a structured quadrilateral grid inside a given four-sided 2D region by a particular boundary-conforming mapping scheme
127
click to vote
CAD
2002
Springer
15 years 4 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
101
click to vote
ENTCS
2002
15 years 4 months ago
2002
Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
151
click to vote
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.