9507 search results - page 249 / 1902 » Time-based language models |
175
click to vote
JAR
2008
15 years 4 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
152
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
126
Voted
DBPL
1999
Springer
15 years 8 months ago
1999
Springer
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
124
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
135
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...