Sciweavers

1941 search results - page 277 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
142
Voted
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 8 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
COLING
1996
15 years 6 months ago
Focus and Higher-Order Unification
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
Claire Gardent, Michael Kohlhase
DAC
1997
ACM
15 years 9 months ago
Power Macromodeling for High Level Power Estimation
A modeling approach is presented that captures the dependence of the power dissipation of a combinational logic circuit on its input output signal switching activity. The resulting...
Subodh Gupta, Farid N. Najm
CVPR
2007
IEEE
16 years 7 months ago
A Robust Warping Method for Fingerprint Matching
This paper presents a robust warping method for minutiae based fingerprint matching approaches. In this method, a deformable fingerprint surface is described using a triangular me...
Dongjin Kwon, Il Dong Yun, Sang Uk Lee
ICCV
2011
IEEE
14 years 5 months ago
Active Geodesics: Region based Active Contour Segmentation with a Global Edge based Constraint
We present an active geodesic contour model in which we constrain the evolving active contour to be a geodesic with respect to a weighted edge-based energy through its entire evol...
Vikram Appia, Anthony Yezzi