228 search results - page 19 / 46 » Towards computer aided mathematics |
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Many individual instructors--and, in some cases, entire universities--are gravitating towards the use of comprehensive learning management systems (LMSs), such as Blackboard and M...
ADC
2003
Springer
14 years 1 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
Nonnegative Matrix Factorization (NMF) is a dimension reduction method that has been widely used for various tasks including text mining, pattern analysis, clustering, and cancer ...
ACSC
2004
IEEE
14 years 12 days ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
ENTCS
2008
13 years 8 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...