313 search results - page 47 / 63 » Lazy Abstraction with Interpolants |
147
click to vote
COMPGEOM
2006
ACM
16 years 1 days 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...
115
click to vote
ISCAS
2005
IEEE
15 years 11 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)...
178
click to vote
EUROPAR
2005
Springer
15 years 11 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 ...
151
click to vote
ICCSA
2005
Springer
15 years 11 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...
162
click to vote
INEX
2005
Springer
15 years 11 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...