7820 search results - page 192 / 1564 » Formalization of Time and Space |
189
click to vote
AUSDM
2007
Springer
16 years 1 months ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
180
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....
203
click to vote
CPM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
201
Voted
INTERACT
2003
15 years 8 months ago
2003
: Handing over objects is a common event during collaboration in face-to-face interaction. We investigate how such an event can be supported when the interaction takes place in vir...
240
Voted
CSREASAM
2009
15 years 8 months ago
2009
Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Although RBAC provides flexible mechanisms to control the access to information, it do...