2487 search results - page 141 / 498 » Partitions of Graphs into Trees |
138
Voted
DOLAP
1998
ACM
15 years 7 months ago
1998
ACM
Star schema has been a typical model for both online transaction processing in traditional databases and online analytical processing in large data warehouses. In the star schema,...
119
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
102
Voted
DAM
2007
15 years 3 months ago
2007
Given a graph G = (V, E) with a cost function c(S) ≥ 0 ∀S ⊆ V , we want to represent all possible min-cut values between pairs of vertices i and j. We consider also the spec...
79
Voted
ML
2002
ACM
15 years 3 months ago
2002
ACM
When simple parametric models such as linear regression fail to adequately approximate a relationship across an entire set of data, an alternative may be to consider a partition o...
145
Voted
VLSID
2005
IEEE
15 years 9 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...