3775 search results - page 61 / 755 » The Expression Problem Revisited |
RTA
1998
Springer
15 years 5 months ago
1998
Springer
The system FT
108
click to vote
CSB
2004
IEEE
15 years 4 months ago
2004
IEEE
It is still an open problem to identify functional relations with o(N
110
click to vote
KR
2000
Springer
15 years 4 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
DBPL
1993
Springer
15 years 4 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...
98
Voted
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
We address the question of recognizing handwritten mathematics in Arabic and related languages. After presenting an overview of the major styles used to express mathematics in the...