1508 search results - page 120 / 302 » A Combination Method for Generating Interpolants |
187
click to vote
ICSOC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Web portals provide an efficient gateway to a broad range of Eservices, resources and information. Web portals need to evolve towards being adaptive in nature, so that th...
183
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
167
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
156
click to vote
DBA
2006
15 years 7 months ago
2006
This work discusses the problem of generating association rules from a set of transactions in a relational database, taking performance and accuracy of found results as the essent...
165
click to vote
TVCG
2008
15 years 6 months ago
2008
In this paper, we propose a generic framework for 3D surface remeshing. Based on a metric-driven Discrete Voronoi Diagram construction, our output is an optimized 3D triangular mes...