3718 search results - page 357 / 744 » IMPS: System Description |
141
Voted
CSL
2006
Springer
15 years 11 months ago
2006
Springer
We define a hierarchy of term systems Tk by means of restrictions of the recursion schema. We essentially use a pointer technique together with tiering. We prove Tk NCk Tk+1 , for ...
176
Voted
ECTEL
2006
Springer
15 years 11 months ago
2006
Springer
With increasingly conceiving learning as a social activity, technological support must become more aware of the social context of the individual in order to be able to provide adeq...
213
Voted
ENTER
2006
Springer
15 years 11 months ago
2006
Springer
Product reviews or user opinions represent a peculiar information source that can be exploited in supporting travel decision making. Product reviews provide other user's expe...
182
Voted
EUROCRYPT
2006
Springer
15 years 11 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
203
click to vote
ECOOPW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...