Sciweavers

53390 search results - page 343 / 10678

» Computer Systems Analysis

95

DAGSTUHL
2003

79views Software Engineering» more DAGSTUHL 2003»

Static Analysis-Based Validation of Floating-Point Computations

15 years 8 months ago

Static Analysis-Based Validation of Floating-Point Computations

Download www.cs.utep.edu

Sylvie Putot, Eric Goubault, Matthieu Martel

claim paper

Read More »

134

SODA
2001
ACM

81views Algorithms» more SODA 2001»

A probabilistic analysis of a greedy algorithm arising from computational biology

15 years 8 months ago

A probabilistic analysis of a greedy algorithm arising from computational biology

Download monod.uwaterloo.ca

Daniel G. Brown 0001

claim paper

Read More »

113

Voted

PSB
2003

80views Applied Computing» more PSB 2003»

Suitability and Utility of Computational Analysis Tools: Characterization of Erythrocyte Parameter Variation

15 years 8 months ago

Suitability and Utility of Computational Analysis Tools: Characterization of Erythrocyte Parameter Variation

Download helix-web.stanford.edu

Ryan E. Altenbaugh, Kenneth J. Kauffman, Jeremy S....

claim paper

Read More »

107

Voted

AAAI
1998

73views Intelligent Agents» more AAAI 1998»

Sound Ontology for Computational Auditory Scence Analysis

15 years 8 months ago

Sound Ontology for Computational Auditory Scence Analysis

Download www.aaai.org

Tomohiro Nakatani, Hiroshi G. Okuno

claim paper

Read More »

144

COLING
1994

79views Computational Linguistics» more COLING 1994»

Towards a Proper Linguistic and Computational Treatment of Scrambling: An Analysis of Japanese

15 years 8 months ago

Towards a Proper Linguistic and Computational Treatment of Scrambling: An Analysis of Japanese

Download acl.ldc.upenn.edu

t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...

Sandiway Pong

claim paper

Read More »

« Prev « First page 343 / 10678 Last » Next »