254 search results - page 51 / 51 » A Generative Model for Parsing Natural Language to Meaning R... |
LCTRTS
2007
Springer
14 years 5 days ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
EDBTW
2010
Springer
13 years 9 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...
ASE
2005
13 years 6 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
UML
2004
Springer
13 years 11 months ago
2004
Springer
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...