Sciweavers

5269 search results - page 28 / 1054

» order 2007

52

IFIP
2007
Springer

89views Programming Languages» more IFIP 2007»

Model Order Reduction for Nonlinear IC Models

15 years 6 months ago

Model Order Reduction for Nonlinear IC Models

Download alexandria.tue.nl

Arie Verhoeven, E. Jan W. ter Maten, Michael Strie...

claim paper

Read More »

74

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

15 years 5 months ago

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

86

ICCS
2007
Springer

132views Applied Computing» more ICCS 2007»

Spectral Collocation Technique for Absorbing Boundary Conditions with Increasingly High Order Approximation

15 years 3 months ago

Spectral Collocation Technique for Absorbing Boundary Conditions with Increasingly High Order Approximation

Download math.uncc.edu

Abstract. An efficient treatment is developed for the Schr

Zhenli Xu, Houde Han

claim paper

Read More »

89

EMNLP
2007

124views Natural Language Processing» more EMNLP 2007»

Experiments with a Higher-Order Projective Dependency Parser

15 years 1 months ago

Experiments with a Higher-Order Projective Dependency Parser

Download people.csail.mit.edu

We present experiments with a dependency parsing model deﬁned on rich factors. Our model represents dependency trees with factors that include three types of relations between t...

Xavier Carreras

claim paper

Read More »

59

EOR
2007

77views more EOR 2007»

Design and control of warehouse order picking: A literature review

14 years 11 months ago

Design and control of warehouse order picking: A literature review

Download www.roodbergen.com

René M. B. M. de Koster, Tho Le-Duc, Kees J...

claim paper

Read More »

« Prev « First page 28 / 1054 Last » Next »