2623 search results - page 73 / 525 » tools 2010 |
DATESO
2010
13 years 8 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
IJACTAICIT
2010
13 years 4 months ago
2010
A real-time path generation method with Non Uniform Rational B Spline(NURBS) technology in the Computer Aided Design(CAD) field is presented and realized in a five-axis Computer N...
LREC
2010
13 years 11 months ago
2010
One problem in statistical machine translation (SMT) is that the output often is ungrammatical. To address this issue, we have investigated the use of a grammar checker for two pu...
ICCHP
2010
Springer
14 years 2 months ago
2010
Springer
Existing development tools provide little out-of-the-box assistance in order to design and develop accessible ICT Java solutions for impaired users. Two new approximation simulatio...
ENTCS
2007
13 years 10 months ago
2007
We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...