2138 search results - page 368 / 428 » Logical Step-Indexed Logical Relations |
162
click to vote
ISNN
2007
Springer
15 years 10 months 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...
122
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
128
click to vote
PREMI
2007
Springer
15 years 10 months ago
2007
Springer
Humans effortlessly classify and recognize complex patterns even if their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual ...
118
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
130
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...