Search Sciweavers | Sciweavers

6120 search results - page 44 / 1224

» The Power of Linear Functions

click to vote

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 3 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

click to vote

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

15 years 1 months ago

Download www.eecg.utoronto.ca

Tomasz S. Czajkowski, Stephen Dean Brown

claim paper

Read More »

click to vote

BIRTHDAY
2010
Springer

118views Applied Computing» more BIRTHDAY 2010»

Definability of Combinatorial Functions and Their Linear Recurrence Relations

15 years 28 days ago

Download www.cs.technion.ac.il

Tomer Kotek, Johann A. Makowsky

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Efficient Submodular Function Maximization under Linear Packing Constraints

14 years 12 months ago

Download www.cs.tau.ac.il

Yossi Azar, Iftah Gamzu

claim paper

Read More »

click to vote

CORR
2007
Springer

84views Education» more CORR 2007»

Linear versus Non-linear Acquisition of Step-Functions

14 years 11 months ago

Download www.wisdom.weizmann.ac.il

We address in this paper the following two closely related problems:

Boris Ettinger, Niv Sarig, Yosef Yomdin

claim paper

Read More »

« Prev « First page 44 / 1224 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers