2702 search results - page 353 / 541 » Practically Applicable Formal Methods |
111
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
140
click to vote
CEC
2003
IEEE
15 years 6 months ago
2003
IEEE
AbstractGaphyl is an application of evolutionary algorithms (EA's) to phylogenetics, an approach used by biologists to investigate evolutionary relationships among organisms. ...
SIGGRAPH
1995
ACM
15 years 6 months ago
1995
ACM
This paper describes a method for synthesizing images that match the texture appearanceof a given digitized sample. This synthesisis completely automatic and requires only the “...
WSC
2008
15 years 4 months ago
2008
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
125
click to vote
DAS
2008
Springer
15 years 4 months ago
2008
Springer
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...