Sciweavers

6258 search results - page 303 / 1252
» Applied Text Generation
Sort
View
CEE
2010
119views more  CEE 2010»
15 years 5 months ago
Block-matching-based motion field generation utilizing directional edge displacement
A motion field generation algorithm using block matching of edge-flag histograms has been developed aiming at its application to motion recognition systems. Use of edge flags inste...
Hitoshi Hayakawa, Tadashi Shibata
CORR
2010
Springer
210views Education» more  CORR 2010»
15 years 4 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
JSS
2006
99views more  JSS 2006»
15 years 4 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
INFORMS
2000
54views more  INFORMS 2000»
15 years 4 months ago
Time-Indexed Formulations for Machine Scheduling Problems: Column Generation
Time-indexed formulations for machine scheduling problems have received a great deal of attention; not only do the linear programming relaxations provide strong lower bounds, but ...
Marjan van den Akker, Cor A. J. Hurkens, Martin W....
IJON
1998
102views more  IJON 1998»
15 years 4 months ago
Developments of the generative topographic mapping
The Generative Topographic Mapping (GTM) model was introduced by 7) as a probabilistic re-formulation of the self-organizing map (SOM). It offers a number of advantages compared ...
Christopher M. Bishop, Markus Svensén, Chri...