Sciweavers

3299 search results - page 18 / 660
» A general mathematics of names
Sort
View
CAP
2010
14 years 6 months ago
Parallel computation of the minimal elements of a poset
Computing the minimal elements of a partially ordered finite set (poset) is a fundamental problem in combinatorics with numerous applications such as polynomial expression optimiz...
Charles E. Leiserson, Marc Moreno Maza, Liyun Li, ...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 1 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
97
Voted
SIGCSE
2002
ACM
128views Education» more  SIGCSE 2002»
14 years 11 months ago
Enhancing the quality of learning and understanding of first-year mathematics for computer science related majors
Most courses on Discrete Mathematics are designed to emphasize problem solving, in general. When the goal is to cover the content, the learning and understanding takes a second pl...
Francis Suraweera
ICPR
2008
IEEE
16 years 29 days ago
Online recognition of handwritten mathematical expressions with support for matrices
We present an online system for recognizing handwritten mathematical matrices in the context of an interactive computational tool called MathPaper. Automatic segmentation and reco...
Chuanjun Li, Robert C. Zeleznik, Timothy Miller, J...
95
Voted
EUSFLAT
2009
144views Fuzzy Logic» more  EUSFLAT 2009»
14 years 9 months ago
Number-free Mathematics Based on T-norm Fuzzy Logic
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
Libor Behounek