814 search results - page 106 / 163 » Machine Translation by Case Generalization |
152
click to vote
PPDP
2009
Springer
16 years 18 days 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...
155
click to vote
MEDES
2009
ACM
16 years 17 days 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...
174
click to vote
SEAA
2008
IEEE
16 years 13 days 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...
146
Voted
IROS
2006
IEEE
16 years 2 days 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 ...
163
click to vote
DOLAP
2004
ACM
15 years 11 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...