Sciweavers

1648 search results - page 278 / 330
» On the generation of bicliques of a graph
Sort
View
AAAI
2007
13 years 11 months ago
Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization
A new spectral approach to value function approximation has recently been proposed to automatically construct basis functions from samples. Global basis functions called proto-val...
Jeffrey Johns, Sridhar Mahadevan, Chang Wang
CC
2008
Springer
130views System Software» more  CC 2008»
13 years 10 months ago
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
Atanas Rountev, Mariana Sharp, Guoqing Xu
ITP
2010
178views Mathematics» more  ITP 2010»
13 years 10 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
COCO
2008
Springer
118views Algorithms» more  COCO 2008»
13 years 10 months ago
Quantum Expanders: Motivation and Constructions
: We define quantum expanders in a natural way. We give two constructions of quantum expanders, both based on classical expander constructions. The first construction is algebraic,...
Avraham Ben-Aroya, Oded Schwartz, Amnon Ta-Shma
BIOCOMP
2008
13 years 10 months ago
GIPSCo: A Method for Comparison of Protein Structures Based on Geometric Invariants
Protein structure comparison is important for elucidation of evolutionary relationships, function and functionally important amino acid residues. We propose Geometric Invariant bas...
Sandeep Deshmukh, Aniket Dalal, Pramod Wangikar