12635 search results - page 2327 / 2527 » Which semantic web |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
108
click to vote
JSA
2006
15 years 4 months ago
2006
In this paper, we propose a schema version model which allows to restructure complex object hierarchy in object-oriented databases. This model extends a schema version model, call...
186
Voted
PR
2008
15 years 4 months ago
2008
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...
147
click to vote
TCAD
2008
15 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
142
click to vote
KER
2007
15 years 4 months ago
2007
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...