9264 search results - page 1177 / 1853 » Space Between Languages |
188
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we describe our submission for iCLEF2006: an interface that allows users to search FLICKR in Arabic for images with captions in a range of languages. We report and di...
199
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
232
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
220
click to vote
CSL
2006
Springer
15 years 11 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
195
click to vote
DIAGRAMS
2006
Springer
15 years 11 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...