9443 search results - page 1696 / 1889 » Web-centric language models |
IWOMP
2007
Springer
14 years 3 months ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
TSD
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper is devoted to the problem of automatic translation between Czech and SC in both directions. We introduced our simple monotone phrase-based decoder - SiMPaD sui...
UM
2007
Springer
14 years 3 months ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...