3299 search results - page 17 / 660 » A general mathematics of names |
CIARP
2008
Springer
15 years 1 months ago
2008
Springer
We present a method for on-line mathematical formulae recognition based on the structural construction paradigm and twodimensional grammars. In general, this approach can be succes...
EMNLP
2009
14 years 9 months ago
2009
This paper presents an investigation of the relation between words and their gender in two gendered languages: German and Romanian. Gender is an issue that has long preoccupied li...
110
click to vote
EUROCAST
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
AML
2002
14 years 11 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...