Sciweavers

3328 search results - page 177 / 666
» On Plateaued Functions and Their Constructions
Sort
View
FM
2008
Springer
184views Formal Methods» more  FM 2008»
15 years 8 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte
SNPD
2003
15 years 8 months ago
RBF Networks from Boosted Rules
A novel method for constructing RBF networks is presented. It is based on Boosting, an ensemble method that combines several classifiers obtained using any other classification ...
Juan José Rodríguez, Vanesa Paniego,...
ACL
1997
15 years 7 months ago
Sentence Planning as Description Using Tree Adjoining Grammar
We present an algorithm for simultaneously constructing both the syntax and semantics of a sentence using a Lexicalized Tree Adjoining Grammar (LTAG). This approach captures natur...
Matthew Stone, Christine Doran
DAM
2008
72views more  DAM 2008»
15 years 6 months ago
Minimization of circuit registers: Retiming revisited
In this paper, we address the following problem: given a synchronous digital circuit, is it possible to construct a new circuit computing the same function as the original one but...
Bruno Gaujal, Jean Mairesse
ISCI
2007
90views more  ISCI 2007»
15 years 6 months ago
Database design and querying within the fuzzy semantic model
Fuzzy semantic model (FSM) is a data model that uses basic concepts of semantic modeling and supports handling fuzziness, uncertainty and imprecision of real-world at the attribut...
Rafik Bouaziz, Salem Chakhar, Vincent Mousseau, Su...