949 search results - page 135 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
SIAMCOMP
2010
13 years 7 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
CAGD
2006
13 years 8 months ago
2006
Given a smooth surface, a blue (red) ridge is a curve such that at each of its points, the maximum (minimum) principal curvature has an extremum along its curvature line. Ridges a...
ASSETS
2005
ACM
13 years 10 months ago
2005
ACM
While strings and syntax trees are used by the Natural Language Processing community to represent the structure of spoken languages, these encodings are difficult to adapt to a si...
TCS
2010
13 years 7 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...