2293 search results - page 287 / 459 » Temporal Logic in Information Systems |
238
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
198
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
177
click to vote
TVCG
2011
15 years 1 months ago
2011
—Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
187
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
An algorithm for extracting music fingerprints directly from an audio signal is proposed in this paper. The proposed music fingerprint aims to encapsulate various aspects of mus...
189
click to vote
ICCSA
2007
Springer
16 years 22 days ago
2007
Springer
In our recent study, we have presented an approach for tracing illegal users in content distribution networks using watermarking and fingerprinting techniques [1][2]. In this paper...