3844 search results - page 654 / 769 » Modular interpreted systems |
171
click to vote
CC
2007
Springer
16 years 17 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
172
click to vote
CSL
2007
Springer
16 years 16 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
144
click to vote
ICSOC
2007
Springer
16 years 16 days ago
2007
Springer
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...
201
click to vote
ISNN
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
196
click to vote
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...