Sciweavers

1585 search results - page 274 / 317
» Creating a Knowledge Base of Biological Research Papers
Sort
View
HPCA
2003
IEEE
16 years 5 days ago
Dynamic Voltage Scaling with Links for Power Optimization of Interconnection Networks
Originally developed to connect processors and memories in multicomputers, prior research and design of interconnection networks have focused largely on performance. As these netw...
Li Shang, Li-Shiuan Peh, Niraj K. Jha
CIAC
2010
Springer
275views Algorithms» more  CIAC 2010»
15 years 9 months ago
Online Cooperative Cost Sharing
The problem of sharing the cost of a common infrastructure among a set of strategic and cooperating players has been the subject of intensive research in recent years. However, mos...
Janina Brenner and Guido Schaefer
ICFCA
2009
Springer
15 years 6 months ago
The Advent of Formal Diagrammatic Reasoning Systems
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
Frithjof Dau
IDEAL
2007
Springer
15 years 6 months ago
Skill Combination for Reinforcement Learning
Recently researchers have introduced methods to develop reusable knowledge in reinforcement learning (RL). In this paper, we define simple principles to combine skills in reinforce...
Zhihui Luo, David A. Bell, Barry McCollum
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
15 years 5 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy