13383 search results - page 305 / 2677 » Abstractions from proofs |
146
click to vote
ECAL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. An evolutionary system is presented which employs an embryogeny model to evolve phenotypes in the form of layout of cells in specific patterns and shapes. It is shown th...
150
click to vote
CLEF
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present in this report two main approaches to cross-language information retrieval based on the exploitation of multilingual corpora to derive cross-lingual term-term ...
170
click to vote
ICGI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The present paper presents a new approach of how to convert Gold-style [4] learning in the limit into stochastically finite learning with high confidence. We illustrate t...
189
click to vote
ICCD
1993
IEEE
15 years 11 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
175
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...