Sciweavers

2452 search results - page 303 / 491
» On Reduction of Lagrange Systems
Sort
View
ADT
2010
15 years 4 months ago
Extension of the FDTD Huygens subgridding to frequency dependent media
Abstract A wide range of wireless system developments require knowledge of the distribution of electromagnetic fields from various sources in humans. As experimental assessment is ...
Fumie Costen, Jean-Pierre Bérenger
CGF
2010
106views more  CGF 2010»
15 years 4 months ago
Optical Image Processing Using Light Modulation Displays
We propose to enhance the capabilities of the human visual system by performing optical image processing directly on an observed scene. Unlike previous work which additively super...
Gordon Wetzstein, Wolfgang Heidrich, David Luebke
CORR
2010
Springer
171views Education» more  CORR 2010»
15 years 4 months ago
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
Lilly Raamesh, G. V. Uma
CONSTRAINTS
2008
89views more  CONSTRAINTS 2008»
15 years 4 months ago
A Reinforcement Learning Approach to Interval Constraint Propagation
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to th...
Frédéric Goualard, Christophe Jerman...
DEDS
2008
63views more  DEDS 2008»
15 years 4 months ago
Compositionally Progressive Solutions of Synchronous FSM Equations
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton...