1636 search results - page 280 / 328 » Type-Theoretic Functional Semantics |
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
127
click to vote
EUROCAST
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we describe an adaptation method for adaptive hypermedia systems, consisting in personalized guided routes for the SEM-HP model. SEM-HP is a layered, systemic, semant...
108
click to vote
APSCC
2009
IEEE
15 years 5 months ago
2009
IEEE
With the widespread of Web Services (WS), more deployed services are being registered into a services registry, consequently giving rise to a series of problems. A conspicuous one...
106
click to vote
CA
2002
IEEE
15 years 4 months ago
2002
IEEE
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
SOFSEM
2009
Springer
15 years 4 months ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...