3113 search results - page 216 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
238
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
135
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
Gotsman et al. (SIGGRAPH 2003) presented the first method to generate a provably bijective parameterization of a closed genus-0 manifold mesh to the unit sphere. This involves the...
117
Voted
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Conjunctive Normal Form (CNF) Boolean formulas generated from resolution or solution enumeration often have much redundancy. It is desirable to have an efficient algorithm to simpl...
122
click to vote
ISLPED
2000
ACM
15 years 9 months ago
2000
ACM
Recovering and reusing circuit energies that would otherwise be dissipated as heat can reduce the power dissipated by a VLSI chip. To accomplish this requires a power source that ...
135
click to vote
DASFAA
2010
IEEE
15 years 9 months ago
2010
IEEE
Rare association rule is an association rule consisting of rare items. It is difficult to mine rare association rules with a single minimum support (minsup) constraint because low ...