IRFC
2011
Springer
12 years 7 months ago
2011
Springer
Search engine result pages (SERPs) are known as the most expensive real estate on the planet. Most queries yield millions of organic search results, yet searchers seldom look beyon...
TCS
2010
12 years 11 months ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...
IJCAI
2007
13 years 5 months ago
2007
In machine translation, document alignment refers to finding correspondences between documents which are exact translations of each other. We define pseudo-alignment as the task...
SSIAI
2002
IEEE
13 years 9 months ago
2002
IEEE
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...