42 search results - page 8 / 9 » Building Verification Condition Generators by Compositional ... |
DAGSTUHL
2010
14 years 11 months ago
2010
Mesh optimization of 2D and 3D triangulations is used in multiple applications extensively. For example, mesh optimization is crucial in the context of adaptively discretizing geo...
129
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper presents a component based deformable
model for generalized face alignment, in which a novel bistage
statistical framework is proposed to account for both
local and g...
AAAI
2008
14 years 12 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
BMCBI
2006
14 years 9 months ago
2006
Background: Independent Component Analysis (ICA) proves to be useful in the analysis of neural activity, as it allows for identification of distinct sources of activity. Applied t...
ML
2006
ACM
15 years 3 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...