Sciweavers

3128 search results - page 309 / 626
» Finite element method
Sort
View
CVPR
1997
IEEE
15 years 9 months ago
Completion Energies and Scale
ÐThe detection of smooth curves in images and their completion over gaps are two important problems in perceptual grouping. In this study, we examine the notion of completion ener...
Eitan Sharon, Achi Brandt, Ronen Basri
ASAP
2007
IEEE
123views Hardware» more  ASAP 2007»
15 years 6 months ago
Estimating Area Costs of Custom Instructions for FPGA-based Reconfigurable Processors
FPGA (Field Programmable Gate Array) based reconfigurable processor has been shown to meet the increasingly challenging performance targets and shorter time-to-market pressures. I...
Siew Kei Lam, Thambipillai Srikanthan
134
Voted
CSL
2008
Springer
15 years 6 months ago
Type-Based Termination with Sized Products
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
Gilles Barthe, Benjamin Grégoire, Colin Rib...
INTERACT
2003
15 years 6 months ago
A Design System based on Architectural Representations
: A wide variety of drawing packages is available for architectural design. However, most of these systems are oriented to the production of final technical drawings, and only few ...
Sviataslau Pranovich, Jarke J. van Wijk
ACL
1998
15 years 6 months ago
Automatic Text Summarization Based on the Global Document Annotation
The GDA (Global Document Annotation) project proposes a tag set which allows machines to automatically infer the underlying semantic/pragmatic structure of documents. Its objectiv...
Katashi Nagao, Kôiti Hasida