Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jeffrey A. Barnett

dblp:63/1166 · DBLP profile ↗
← Back
8ranked-venue papers
7as first author
0since 2021 · last 2005
0000-0001-7660-2225ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 7 · 6 first-authorGraphics, computer vision, multimedia, augmented reality and games · 5 · 4 first-authorSystems, architecture and hardware · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Energy-efficient computing · 93% Embedded and real-time systems · 7%
Artificial intelligence
6 papers
Planning, search and constraint satisfaction · 66% Knowledge representation and reasoning · 34%

Topics — the 11 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Energy-efficient computing › power management
dynamic voltage and frequency scaling
0.112005
Dynamic Task-Level Voltage Scheduling Optimizations · IEEE Trans. Computers 2005
Energy-efficient computing › power-performance tradeoff
energy-delay tradeoff
0.112005
Dynamic Task-Level Voltage Scheduling Optimizations · IEEE Trans. Computers 2005
Energy-efficient computing
power management
0.112005
Dynamic Task-Level Voltage Scheduling Optimizations · IEEE Trans. Computers 2005
Energy-efficient computing › power management
voltage scheduling
0.112005
Dynamic Task-Level Voltage Scheduling Optimizations · IEEE Trans. Computers 2005
Embedded and real-time systems
real-time scheduling
0.012005
Dynamic Task-Level Voltage Scheduling Optimizations · IEEE Trans. Computers 2005
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
heuristic search
0.021991
Optimal Satisficing Tree Searches · AAAI 1991
Optimal Searches From AND and OR Nodes · IJCAI 1983
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge-based systems › rule-based systems
rule-based reasoning
0.011991
Combining Opinions About the Order of Rule Execution · AAAI 1991
Logic in computer science › knowledge representation and reasoning
uncertainty reasoning
0.011991
Calculating Dempster-Shafer Plausibility · IEEE Trans. Pattern Anal. Mach. Intell. 1991
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › search control
control knowledge
0.011984
How much is Control Knowledge Worth? A Primitive Example · Artif. Intell. 1984
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › tree search
AND/OR search
0.011983
Optimal Searches From AND and OR Nodes · IJCAI 1983
Knowledge, reasoning and agents › Knowledge representation and reasoning › uncertainty reasoning
belief functions
0.011981
Computational Methods for a Mathematical Theory of Evidence · IJCAI 1981

Methods — techniques the papers use, named apart from their topics

probabilistic modeling · 0.1optimization · 0.1opinion combination · 0.0commonality measure · 0.0belief calculus · 0.0computational methods · 0.0
YearPublicationVenuePosition
2005 Dynamic Task-Level Voltage Scheduling Optimizations
abstract
Energy versus delay trade-offs are explored for systems that must manage energy expenditure as well as computation deadlines. The focus is execution of a single process on a single processor. Two probabilistic process models are considered, along with a family of power dissipation models. The first process model assumes that process complexity is exactly c cycles with probability p(c). The second model considers the detailed branching and loop structure of the code. Probabilities are attached at branch points. The power models assume that energy dissipation per cycle is proportional to v/sup m/ and that execution time for a cycle is proportional to v/sup -n/, where v is supply voltage. The energy versus delay trade-off is implemented using dynamic voltage and clock adjustments. The problems solved include 1) minimize expected execution time given a hard energy budget and 2) minimize expected energy expenditure given a hard deadline. The problem of minimizing the expected value of Q(E,T), where Q is a penalty function and E and T are, respectively, total energy and total time, is also solved using the first process model. Analysis determines theoretical conditions where it may be profitable to switch voltage or modify an a priori voltage schedule.
Jeffrey A. Barnett
IEEE Trans. Computers1
1991 Combining Opinions About the Order of Rule Execution
Jeffrey A. Barnett
AAAI1
1991 Optimal Satisficing Tree Searches
Dan Geiger, Jeffrey A. Barnett
AAAI2
1991 Calculating Dempster-Shafer Plausibility
abstract
A sufficient condition for the equality of the plausibility and commonality measures of the Dempster-Shafer belief calculus is developed. When the condition is met, an efficient method to calculate relative plausibility is available. In particular, the method can be used to calculate the relative plausibility of atomic hypotheses and, therefore, it can be used to find the choice that maximizes this measure. The computation is efficient enough to make Dempster-Shafer practical in some domains where computational complexity would otherwise discourage its use.>
Jeffrey A. Barnett
IEEE Trans. Pattern Anal. Mach. Intell.1
1984 How much is Control Knowledge Worth? A Primitive Example
Jeffrey A. Barnett
Artif. Intell.1
1983 Optimal Searches From AND and OR Nodes
Jeffrey A. Barnett
IJCAI1
1983 A Wrinkle on Satisficing Search Problems
Jeffrey A. Barnett, Don Cohen
IJCAI1
1981 Computational Methods for a Mathematical Theory of Evidence
Jeffrey A. Barnett
IJCAI1