2364 search results - page 258 / 473 » An Engine for Computing Well-Founded Models |
193
Voted
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Estimating intrinsic geometric properties of a surface from a polygonal mesh obtained from range data is an important stage of numerous algorithms in computer and robot vision, co...
165
Voted
SMA
2008
ACM
15 years 6 months ago
2008
ACM
Improving the quality of tetrahedral meshes is an important operation in many scientific computing applications. Meshes with badly shaped elements impact both the accuracy and con...
173
Voted
SMA
2003
ACM
15 years 11 months ago
2003
ACM
3D scanners developed over the past several decades have facilitated the reconstruction of complicated engineering parts. Typically the boundary representation of a part is recons...
194
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...
135
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...