Sciweavers

2299 search results - page 247 / 460
» Logical Data Expiration
Sort
View
ETFA
2006
IEEE
16 years 20 days ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
IJCNN
2006
IEEE
16 years 19 days ago
Semi-supervised feature selection via multiobjective optimization
Abstract— In previous work, we have shown that both unsupervised feature selection and the semi-supervised clustering problem can be usefully formulated as multiobjective optimiz...
Julia Handl, Joshua D. Knowles
GECCO
2005
Springer
133views Optimization» more  GECCO 2005»
16 years 3 days ago
Parsing and translation of expressions by genetic programming
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
David Jackson
MEMBRANE
2004
Springer
15 years 12 months ago
LMNtal: A Language Model with Links and Membranes
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
Kazunori Ueda, Norio Kato
IWSOC
2003
IEEE
132views Hardware» more  IWSOC 2003»
15 years 12 months ago
A Catalog of Hardware Acceleration Techniques for Real-Time Reconfigurable System on Chip
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...
Neil W. Bergmann, Peter Waldeck, John A. Williams