Sciweavers

509 search results - page 3 / 102
» Standardization and Testing of Mathematical Functions
Sort
View
DAGSTUHL
2008
13 years 7 months ago
Interval Arithmetic and Standardization
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficient...
Jürgen Wolff von Gudenberg
JSW
2007
133views more  JSW 2007»
13 years 5 months ago
New Functions for Unsupervised Asymmetrical Paraphrase Detection
Abstract— Monolingual text-to-text generation is an emerging research area in Natural Language Processing. One reason for the interest in such generation systems is the possibili...
João Cordeiro, Gaël Dias, Pavel Brazdi...
CHI
2005
ACM
14 years 6 months ago
Evaluation of multimodal input for entering mathematical equations on the computer
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger
ACTAC
1999
81views more  ACTAC 1999»
13 years 5 months ago
Test Suite Reduction in Conformance Testing
Conformance testing is based on a test suite. Standardization committees release standard test suites, which consist of hundreds of test cases. The main problem of conformance tes...
Tibor Csöndes, Sarolta Dibuz, Balázs K...
EUROGP
2001
Springer
13 years 10 months ago
Exact Schema Theorems for GP with One-Point and Standard Crossover Operating on Linear Structures and Their Application to the S
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
Riccardo Poli, Nicholas Freitag McPhee