6413 search results - page 37 / 1283 » Classes of cycle bases |
DAC
1994
ACM
15 years 4 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
81
Voted
EJC
2007
15 years 13 days ago
2007
The cone ˆG of a finite graph G is obtained by adding a new vertex p, called the cone point, and joining each vertex of G to p by a simple edge. We show that the rank of the red...
111
Voted
EDOC
2008
IEEE
15 years 7 months ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
106
click to vote
ATS
2005
IEEE
15 years 6 months ago
2005
IEEE
The need for high-performance pipelined architectures has resulted in the adoption of latch based designs with multiple, interacting clocks. For such designs, time sharing across ...
SAC
2008
ACM
14 years 12 months ago
2008
ACM
Ontology learning integrates many complementary techniques, including machine learning, natural language processing, and data mining. Specifically, clustering techniques facilitat...