3793 search results - page 206 / 759 » Expressive Description Logics |
175
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
The Bag-of-visual Words (BoW) image representation has been applied for various problems in the fields of multimedia and computer vision. The basic idea is to represent images as ...
186
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
177
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
167
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
One of the major challenges facing scientists dealing with gene expression data is how to integrate, explore and analyze vast quantities of related data, often residing in multiple...
192
click to vote
BIS
2007
15 years 8 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...