Sciweavers

3954 search results - page 367 / 791
» Image-based Model Completion
Sort
View
153
Voted
FASE
2003
Springer
15 years 11 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini
DATE
2002
IEEE
101views Hardware» more  DATE 2002»
15 years 11 months ago
Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
Jan Vandenbussche, Erik Lauwers, K. Uyttenhove, Mi...
GMP
2002
IEEE
164views Solid Modeling» more  GMP 2002»
15 years 11 months ago
Construct Piecewise Hermite Interpolation Surface with Blending Methods
Three methods are proposed to construct a piecewise Hermite interpolation surface (PHIS), which is a piecewise algebraic surface interpolating a set of given points with associated...
Xiao-Shan Gao, Ming Li
ITCC
2002
IEEE
15 years 11 months ago
Mask and Multiple Format: Two Notions for a Progressive and Adapted Access to Information
This paper introduces the notions of mask and multiple format for setting up a progressive access to information in an Information System. Masks consist of more or less complete r...
Marlène Villanova-Oliver, Jérô...
CPAIOR
2010
Springer
15 years 11 months ago
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
We introduce an approach which combines ACO (Ant Colony Optimization) and IBM ILOG CP Optimizer for solving COPs (Combinatorial Optimization Problems). The problem is modeled using...
Madjid Khichane, Patrick Albert, Christine Solnon