6455 search results - page 919 / 1291 » Research problems |
151
click to vote
SEMWEB
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. This paper presents and discusses the results of the latest developments of the MapPSO system, which is an ontology alignment approach that is based on discrete particle ...
155
click to vote
TLCA
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
145
click to vote
ISSTA
2009
ACM
16 years 17 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
185
click to vote
MM
2009
ACM
16 years 17 days ago
2009
ACM
Finding a destination in unfamiliar environments of complex office building or shopping mall has been always bothering us in daily life. Fine-scale directional guidance, a combina...
144
click to vote
SIGIR
2009
ACM
16 years 17 days ago
2009
ACM
Cross Language Information Retrieval (CLIR) between languages of the same origin is an interesting topic of research. The similarity of the writing systems used for these language...