Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2011

Highly Cited

2011

This paper presents an optimal power management mechanism for grid connected photovoltaic (PV) systems with storage. The… Expand

Is this relevant?

Highly Cited

2010

Highly Cited

2010

We describe a general method for building cascade classifiers from part-based deformable models such as pictorial structures. We… Expand

Is this relevant?

Highly Cited

2006

Highly Cited

2006

We first introduce Abstract DPLL, a rule-based formulation of the Davis--Putnam--Logemann--Loveland (DPLL) procedure for… Expand

Is this relevant?

Highly Cited

2003

Highly Cited

2003

Unlike in a wired network, a packet transmitted by a node in an ad hoc wireless network can reach all neighbours. Therefore, the… Expand

Is this relevant?

Highly Cited

2003

Highly Cited

2003

RTDP is a recent heuristic-search DP algorithm for solving non-deterministic planning problems with full observability. In… Expand

Is this relevant?

Highly Cited

2000

Highly Cited

2000

Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world… Expand

Is this relevant?

Highly Cited

1999

Highly Cited

1999

As was shown recently, many important AI problems require counting the number of models of propositional formulas. The problem of… Expand

Is this relevant?

Highly Cited

1995

Highly Cited

1995

The Davis-Putnam enumeration method (DP) has recently become one of the fastest known methods for solving the clausal satis… Expand

Is this relevant?

Highly Cited

1995

Highly Cited

1995

This paper describes the application of reinforcement learning (RL) to the difficult real world problem of elevator dispatching… Expand

Is this relevant?

1994

1994

The Davis-Putnam method is one of the major practical methods for the satiss-ability (SAT) problem of propositional logic. We… Expand

Is this relevant?