Sciweavers

2225 search results - page 258 / 445
» Logical Structures in the Lexicon
Sort
View
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
16 years 3 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
Josep Carmona, Jordi Cortadella
ICCAD
2003
IEEE
204views Hardware» more  ICCAD 2003»
16 years 3 months ago
Modeling of Ballistic Carbon Nanotube Field Effect Transistors for Efficient Circuit Simulation
Carbon Nanotube Field-Effect Transistors (CNFETs) are being extensively studied as possible successors to CMOS. Novel device structures have been fabricated and device simulators ...
Arijit Raychowdhury, Saibal Mukhopadhyay, Kaushik ...
MFCS
2009
Springer
16 years 1 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow
FUZZIEEE
2007
IEEE
16 years 26 days ago
Adaptive Optimization of the Number of Clusters in Fuzzy Clustering
In this paper, we present a local, adaptive optimization scheme for adjusting the number of clusters in fuzzy C-means clustering. This method is especially motivated by online app...
Jürgen Beringer, Eyke Hüllermeier
FUZZIEEE
2007
IEEE
16 years 26 days ago
Possibilistic information fusion using maximal coherent subsets
— When multiple sources provide information about the same unknown quantity, their fusion into a synthetic interpretable message is often a tedious problem, especially when sourc...
Sébastien Destercke, Didier Dubois, Eric Ch...