Sciweavers

12015 search results - page 63 / 2403

» Interactive Algorithms 2005

87

ALT
2005
Springer

111views Machine Learning» more ALT 2005»

Algorithms for Learning Regular Expressions

15 years 3 months ago

Algorithms for Learning Regular Expressions

Download www.informatik.uni-trier.de

Henning Fernau

claim paper

Read More »

66

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

15 years 3 months ago

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

claim paper

Read More »

59

CAIP
2005
Springer

113views Image Analysis» more CAIP 2005»

Sequential Coordinate-Wise Algorithm for the Non-negative Least Squares Problem

15 years 3 months ago

Sequential Coordinate-Wise Algorithm for the Non-negative Least Squares Problem

Download cmp.felk.cvut.cz

Vojtech Franc, Václav Hlavác, Mirko ...

claim paper

Read More »

77

CHES
2005
Springer

87views Cryptology» more CHES 2005»

Comparison of Bit and Word Level Algorithms for Evaluating Unstructured Functions over Finite Rings

15 years 3 months ago

Comparison of Bit and Word Level Algorithms for Evaluating Unstructured Functions over Finite Rings

Download www.chesworkshop.org

Berk Sunar, David Cyganski

claim paper

Read More »

59

COCOON
2005
Springer

88views Combinatorics» more COCOON 2005»

A Linear Time Algorithm for Finding a Maximal Planar Subgraph Based on PC-Trees

15 years 3 months ago

A Linear Time Algorithm for Finding a Maximal Planar Subgraph Based on PC-Trees

Download www.iis.sinica.edu.tw

Wen-Lian Hsu

claim paper

Read More »

« Prev « First page 63 / 2403 Last » Next »