Sciweavers

4451 search results - page 552 / 891
» On Random Ordering Constraints
Sort
View
139
Voted
PPDP
2005
Springer
16 years 5 days ago
Security policy in a declarative style
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
Rachid Echahed, Frédéric Prost
SOCO
2005
Springer
16 years 5 days ago
Ad Hoc Composition of User Tasks in Pervasive Computing Environments
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...
Sonia Ben Mokhtar, Nikolaos Georgantas, Valé...
VLBV
2005
Springer
16 years 5 days ago
An Ontology Infrastructure for Multimedia Reasoning
In this paper, an ontology infrastucture for multimedia reasoning is presented, making it possible to combine low-level visual descriptors with domain specific knowledge and subs...
Nikos Simou, Carsten Saathoff, Stamatia Dasiopoulo...
VLDB
2005
ACM
124views Database» more  VLDB 2005»
16 years 5 days ago
Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions
In an “uncertain database”, an object o is associated with a multi-dimensional probability density function (pdf), which describes the likelihood that o appears at each positi...
Yufei Tao, Reynold Cheng, Xiaokui Xiao, Wang Kay N...
VAST
2004
ACM
16 years 4 days ago
Identifying technologies used in Cultural Heritage
There are a growing number of Information Communication Technology (ICT) applications in cultural heritage. However despite funding constraints, projects often involve similar or ...
Ruth Owen, Dimitrios Buhalis, Daniel Pletinckx