1636 search results - page 120 / 328 » Type-Theoretic Functional Semantics |
138
Voted
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
Self-Healing and self-optimizing service based applications are important steps towards the self-organizing Service Oriented Architectures (SOA). Self-Organizing SOAs replace serv...
118
Voted
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...
113
Voted
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
In an increasingly multilingual world, it is critical that information management tools organically support the simultaneous use of multiple natural languages. A pre-requisite for ...
160
Voted
AH
2004
Springer
2004
Springer
The Personal Reader: Personalizing and Enriching Learning Resources Using Semantic Web Technologies.
15 years 9 months ago
Traditional adaptive hypermedia systems have focused on providing adaptation functionality on a closed corpus, while Web search interfaces have delivered non-personalized informati...
119
click to vote
MKM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...