313 search results - page 47 / 63 » Lazy Abstraction with Interpolants |
COMPGEOM
2006
ACM
14 years 1 months ago
2006
ACM
Abstract We introduce a parameterized notion of feature size that interpolates between the minimum of the local feature size and the recently introduced weak feature size. Based on...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— A new technique that use of DSM signal in a common technique for dgitally synthesizing an arbitrary waveform, which is generally known as direct-digital synthesis (DDS)...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
ICCSA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents a new fast and local method of 3D surface reconstruction for scattered data. The algorithm makes use of quasiinterpolants to compute the control point...
INEX
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...