4008 search results - page 80 / 802 » An expressive language of signatures |
157
click to vote
MFCS
2010
Springer
15 years 4 months ago
2010
Springer
A reduction system for regular expressions is presented. For a regular expression t, the reduction system is proved to terminate in a state where the most-reduced expression readil...
143
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
We consider the construction of finite automata from their corresponding regular expressions by a series of digraph-transformations along the expression’s structure. Each interm...
159
click to vote
KR
2000
Springer
15 years 9 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...
147
click to vote
ICDAR
2007
IEEE
16 years 15 days 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...
166
click to vote
GIL
2009
15 years 4 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...