4491 search results - page 367 / 899 » Algorithm Engineering |
162
click to vote
CVGIP
2004
15 years 3 months ago
2004
This paper presents a surface reconstruction algorithm that can recover correct shape geometry as well as its unknown topology from both volumetric images and unorganized point cl...
250
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
150
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
119
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Currently, hardware intellectual property (IP) is delivered at vels of abstraction: hard, firm, and soft. In order to further enhance performance, efficiency, and flexibility of I...
106
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Abox inference is an important part in OWL data management. When involving large scale of instance data, it can not be supported by existing inference engines. In this paper, we p...