1860 search results - page 194 / 372 » A Temporal Logic of Robustness |
105
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
142
click to vote
DALT
2007
Springer
15 years 3 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
129
click to vote
ICCSA
2007
Springer
15 years 7 months 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...
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
The general goal of music synchronization is to automatically align the multiple information sources such as audio recordings, MIDI files, or digitized sheet music related to a gi...
140
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...