Sciweavers

1521 search results - page 194 / 305
» Efficient Design Validation Based on Cultural Algorithms
Sort
View
JEA
2006
90views more  JEA 2006»
15 years 4 months ago
Heuristics for estimating contact area of supports in layered manufacturing
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...
Ivaylo Ilinkin, Ravi Janardan, Michiel H. M. Smid,...
MOBIHOC
2005
ACM
16 years 3 months ago
Localization and routing in sensor networks by local angle information
Location information is very useful in the design of sensor network infrastructures. In this paper, we study the anchor-free 2D localization problem by using local angle measureme...
Jehoshua Bruck, Jie Gao, Anxiao Jiang
CORR
2006
Springer
100views Education» more  CORR 2006»
15 years 4 months ago
Bilayer Low-Density Parity-Check Codes for Decode-and-Forward in Relay Channels
This paper describes an efficient implementation of binning for decode-and-forward (DF) in relay channels using lowdensity parity-check (LDPC) codes. Bilayer LDPC codes are devised...
Peyman Razaghi, Wei Yu
DAC
2009
ACM
15 years 11 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...
ICIP
2000
IEEE
16 years 5 months ago
Model-Aided Coding of Multi-Viewpoint Image Data
The paper presents a novel coding technique based on approximate geometry for images taken from arbitrary recording positions around a 3-D scene. Such data structures occur in ima...
Marcus A. Magnor, Peter Eisert, Bernd Girod