814 search results - page 106 / 163 » Machine Translation by Case Generalization |
121
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
124
Voted
MEDES
2009
ACM
15 years 10 months ago
2009
ACM
Although research in data integration has become one of the main issues in [6], geographic data integration is still a laborious and complicated problem, even for specialists. Geo...
139
click to vote
SEAA
2008
IEEE
15 years 9 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
116
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper proposes a new tracking algorithm within a 3D-SLAM framework that takes segmented range images as observations. The framework has two layers: the local layer tracks ...
126
Voted
DOLAP
2004
ACM
15 years 8 months ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...