2944 search results - page 66 / 589 » On Well Quasi-orders on Languages |
CHARME
2003
Springer
14 years 11 days ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
IJCAI
2003
13 years 10 months ago
2003
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We present a new, unique and freely available parallel corpus containing European Union (EU) documents of mostly legal nature. It is available in all 20 official EU languages, wit...
GW
2005
Springer
14 years 2 months ago
2005
Springer
Hitherto, one major challenge to sign language recognition is how to develop approaches that scale well with increasing vocabulary size. In large vocabulary speech recognition real...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...