Sciweavers

1847 search results - page 149 / 370
» Hybrid Functional Interpretations
Sort
View
DATE
2000
IEEE
82views Hardware» more  DATE 2000»
15 years 10 months ago
Constructive Library-Aware Synthesis Using Symmetries
In this paper a constructive library-aware multilevel logic synthesis approach using symmetries is described. It integrates the technology-independent and technologydependent stag...
Victor N. Kravets, Karem A. Sakallah
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
15 years 10 months ago
Efficient Strictness Analysis of Haskell
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
Kristian Damm Jensen, Peter Hjæresen, Mads R...
CAGD
2007
76views more  CAGD 2007»
15 years 5 months ago
On the degree elevation of B-spline curves and corner cutting
In this paper we prove that the degree elevation of B-spline curves can be interpreted as corner cutting process in theory. We also discover the geometric meaning of the auxiliary...
Guozhao Wang, Chongyang Deng
APPML
2005
131views more  APPML 2005»
15 years 5 months ago
A note on Laplace's equation inside a cylinder
Two difficulties connected with the solution of Laplace's equation around an object inside an infinite circular cylinder are resolved. One difficulty is the nonconvergence of...
Silvana Ilie, David J. Jeffrey
ACCV
2010
Springer
15 years 29 days ago
Medical Image Segmentation Based on Novel Local Order Energy
Image segmentation plays an important role in many medical imaging systems, yet in complex circumstances it is still a challenging problem. Among many difficulties, problem caused ...
LingFeng Wang, Zeyun Yu, Chunhong Pan