8008 search results - page 1205 / 1602 » Computer-Aided Language Processing |
143
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
127
Voted
JSAI
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
126
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
129
Voted
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
143
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...