Sciweavers

5510 search results - page 395 / 1102
» Mathematics
Sort
View
MKM
2009
Springer
15 years 11 months ago
Math-Literate Computers
Sketch recognizers are an important part of the design of natural interfaces for many domains. However, current recognition technology is generally quite crude and difficult to w...
Dorothea Blostein
MKM
2009
Springer
15 years 11 months ago
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
Andrea Kohlhase, Michael Kohlhase
PRIB
2009
Springer
15 years 11 months ago
Syntactic Pattern Recognition Using Finite Inductive Strings
A syntactic pattern recognition technique is described based upon a mathematical principle associated with finite sequences of symbols. The technique allows for fast recognition of...
Paul S. Fisher, Howard Fisher, Jinsuk Baek, Cleopa...
ECAL
2001
Springer
15 years 11 months ago
Formal Description of Autopoiesis Based on the Theory of Category
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
Tatsuya Nomura
FCT
2001
Springer
15 years 11 months ago
Universal Algebra and Computer Science
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
Boris I. Plotkin, Tanya Plotkin