1313 search results - page 109 / 263 » Generic Universe Types |
138
click to vote
EH
2002
IEEE
15 years 9 months ago
2002
IEEE
: In this paper we focus on a general approach of using genetic algorithm (GA) to evolve Quantum circuits (QC). We propose a generic GA to evolve arbitrary quantum circuit specifie...
134
Voted
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
150
click to vote
EFDBS
2001
15 years 6 months ago
2001
The existing standard for object-oriented databases (ODMG) provides no facility for storing behaviour. This lack of stored behaviour introduces problems for generic applications as...
126
Voted
IJIT
2004
15 years 6 months ago
2004
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...
109
click to vote
JSYML
2007
15 years 4 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...