Sciweavers

3128 search results - page 199 / 626
» Finite element method
Sort
View
124
Voted
ISCIS
2009
Springer
15 years 10 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
136
Voted
MCS
2006
Springer
15 years 3 months ago
Criteria for mixed grids in computational fluid dynamics
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed g...
Erwin Doescher, Haroldo F. de Campos Velho, Fernan...
140
Voted
CVPR
2008
IEEE
16 years 6 months ago
Spectral methods for semi-supervised manifold learning
Given a finite number of data points sampled from a low-dimensional manifold embedded in a high dimensional space together with the parameter vectors for a subset of the data poin...
Zhenyue Zhang, Hongyuan Zha, Min Zhang
ITICSE
2004
ACM
15 years 9 months ago
Generation as method for explorative learning in computer science education
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
Andreas Kerren
122
Voted
ITCC
2005
IEEE
15 years 9 months ago
Disciplined Methods of Software Specification: A Case Study
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
Robert L. Baber, David Lorge Parnas, Sergiy A. Vil...