5203 search results - page 704 / 1041 » An approach to workflow modeling and analysis |
215
Voted
IBPRIA
2003
Springer
16 years 27 days ago
2003
Springer
Abstract. This paper is a review of works about the use of the logpolar image model for pattern recognition purposes. Particular attention is paid to the rotation- and scale-invari...
200
Voted
ECAL
2001
Springer
16 years 6 days ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
206
Voted
HYBRID
1997
Springer
15 years 12 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
220
Voted
ICLP
1992
Springer
15 years 11 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
192
Voted
IWANN
1995
Springer
15 years 11 months ago
1995
Springer
This paper presents a comparative analysis of neural networks, simulated annealing, and genetic algorithms in the determination of input patterns for testing analog circuits. The ...