2534 search results - page 463 / 507 » A Type System for the Push-Enter Model |
ERCIMDL
2010
Springer
13 years 8 months ago
2010
Springer
Invenio is the web-based integrated digital library system developed at CERN. Within this framework, we present four types of ranking models based on the citation graph that comple...
ADVCS
2007
13 years 7 months ago
2007
Cellular learning automata is a combination of learning automata and cellular automata. This model is superior to cellular learning automata because of its ability to learn and als...
BIOSYSTEMS
2008
13 years 7 months ago
2008
We propose conditions in which an autonomous agent could arise, and increase in complexity. It is assumed that on the primitive Earth there arose a recycling flow-reactor containi...
IS
2006
13 years 7 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
TASLP
2008
13 years 7 months ago
2008
This paper presents a novel online relevant set algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the glob...