Sciweavers

1573 search results - page 191 / 315
» Signs and Formal Concepts
Sort
View
98
Voted
ICCAD
2001
IEEE
89views Hardware» more  ICCAD 2001»
15 years 10 months ago
Sequential SPFDs
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...
Subarnarekha Sinha, Andreas Kuehlmann, Robert K. B...
MCS
2010
Springer
15 years 8 months ago
Estimation of the Number of Clusters Using Multiple Clustering Validity Indices
One of the challenges in unsupervised machine learning is finding the number of clusters in a dataset. Clustering Validity Indices (CVI) are popular tools used to address this pro...
Krzysztof Kryszczuk, Paul Hurley
100
Voted
ICDAR
2009
IEEE
15 years 8 months ago
Inductive Logic Programming for Symbol Recognition
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
K. C. Santosh, Bart Lamiroy, Jean-Philippe Ropers
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 8 months ago
Modeling Event Stream Hierarchies with Hierarchical Event Models
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
Jonas Rox, Rolf Ernst
DEXAW
2008
IEEE
91views Database» more  DEXAW 2008»
15 years 8 months ago
Dynamic Taxonomies for the Semantic Web
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
Pierre Allard, Sébastien Ferré