5748 search results - page 917 / 1150 » Contexts for the Semantic Web |
183
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we present a new approach for image labeling based on the recently introduced graph-shifts algorithm. Graph-shifts is an energy minimization algorithm that does lab...
177
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
180
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
188
click to vote
AVSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose an ontology for representing the prior knowledge related to video event analysis. It is composed of two types of knowledge related to the application dom...
170
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
The development of location-based services and advances in the field of mobile computing have motivated an intensive research effort devoted to the efficient processing of locati...