2956 search results - page 192 / 592 » Databases and Higher Types |
148
click to vote
DASFAA
2003
IEEE
15 years 8 months ago
2003
IEEE
With the wide availability of content delivery networks, many e-commerce Web applications utilize edge cache servers to cache and deliver dynamic contents at locations much closer...
139
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
153
Voted
ANLP
1994
15 years 4 months ago
1994
This paper presents a practical machine translation system based on sentence types for economic news stories. Conventional English-to-Japanese machine translation (MT) systems whi...
132
Voted
AML
1998
15 years 3 months ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
138
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
In recent years, digital multimedia technologies have evolved significantly, and are finding numerous applications, over the internet, and even over mobile networks. Thus, the vid...