7529 search results - page 1246 / 1506 » The Modula-3 Type System |
212
click to vote
CIVR
2007
Springer
16 years 23 days ago
2007
Springer
Generic concept detection has been a widely studied topic in recent research on multimedia analysis and retrieval, but the issue of how to exploit the structure of a multimedia on...
154
click to vote
CONTEXT
2007
Springer
16 years 23 days ago
2007
Springer
Our goal in this study was to explore the potentials of extracting features from eye-tracking data that have the potential to improve performance in implicit relevance feedback. We...
157
click to vote
DBPL
2007
Springer
16 years 23 days ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
135
click to vote
ERCIMDL
2007
Springer
16 years 22 days ago
2007
Springer
Users’ personal citation collections reflect users’ interests and thus offer great potential for personalized digital services. We studied 18,120 citations in the personal co...
185
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...