Sciweavers

3381 search results - page 456 / 677
» Extending Dependencies with Conditions
Sort
View
LICS
2005
IEEE
16 years 24 days ago
Modal Characterisation Theorems over Special Classes of Frames
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā€...
Anuj Dawar, Martin Otto
GROUP
2005
ACM
16 years 23 days ago
Supporting the shared experience of spectators through mobile group media
Interesting characteristics of large-scale events are their spatial distribution, their extended duration over days, and the fact that they are set apart from daily life. The incr...
Giulio Jacucci, Antti Oulasvirta, Antti Salovaara,...
SACMAT
2005
ACM
16 years 23 days ago
Purpose based access control of complex data for privacy protection
As privacy becomes a major concern for both consumers and enterprises, many research efforts have been devoted to the development of privacy protecting technology. We recently pr...
Ji-Won Byun, Elisa Bertino, Ninghui Li
ATAL
2005
Springer
16 years 23 days ago
Predicting agent strategy mix of evolving populations
We study agent societies where self-interested agents interact repeatedly over extended time periods. In particular, we are interested in environments where agents can form mutual...
Sabyasachi Saha, Sandip Sen
CIS
2005
Springer
16 years 22 days ago
Distance Protection of Compensated Transmission Line Using Computational Intelligence
A new approach for protection of transmission line including TCSC is presented in this paper. The proposed method includes application of Fuzzy Neural Network for distance relaying...
S. R. Samantaray, Pradipta K. Dash, Ganapati Panda...