1982 search results - page 213 / 397 » Parametricity and dependent types |
187
click to vote
NPC
2005
Springer
15 years 12 months ago
2005
Springer
Efficient loop scheduling on parallel and distributed systems depends mostly on load balancing, especially on heterogeneous PC-based cluster and grid computing environments. In thi...
265
click to vote
SPC
2005
Springer
15 years 12 months ago
2005
Springer
The ephemeral pairing problem requires two or more specific physical nodes in a wireless broadcast network, that do not yet know each other, to establish a short-term relationship...
140
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
As the number of web services in repositories on the World Wide Web increases so will the number of complex configurations of web services. However, as the World Wide Web is dynam...
191
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Many sensors providing situation data will be in everywhere under the ubiquitous environment. It requires the current RFID system should be extended to recognize and use situation ...
217
click to vote
AMTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...