1744 search results - page 310 / 349 » A Similarity-Driven Transfer System |
FM
2005
Springer
15 years 5 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
111
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
Advances in wireless communication, storage and processing are realizing next-generation in-vehicle entertainment systems. Even if hundreds of different video or audio titles are...
110
click to vote
BTW
2003
Springer
15 years 5 months ago
2003
Springer
Dissemination systems are used to route information received from many publishers individually to multiple subscribers. The core of a dissemination system consists of an efficient...
ICANN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...