Sciweavers

3047 search results - page 563 / 610
» A Temporal Consensus Model
Sort
View
126
Voted
ICWN
2009
14 years 11 months ago
AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Sur...
AIRS
2010
Springer
14 years 11 months ago
Event Recognition from News Webpages through Latent Ingredients Extraction
We investigate the novel problem of event recognition from news webpages. "Events" are basic text units containing news elements. We observe that a news article is always...
Rui Yan, Yu Li, Yan Zhang, Xiaoming Li
ICMCS
2010
IEEE
227views Multimedia» more  ICMCS 2010»
14 years 10 months ago
Interactive viewpoint-space navigation for visual-audio exhibition of painting
In this paper, we present a system for exhibiting a Chinese landscape painting about 900 years old. There are three parts in our system: (1) we allocate a voice dubbing or backgro...
Wei Ma, Yang Liu, Yizhou Wang, Yingqing Xu, Hongbi...
IGPL
2010
142views more  IGPL 2010»
14 years 10 months ago
Logics of Kripke meta-models
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
Sergey Babenyshev, Vladimir V. Rybakov
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 8 months ago
A Logical Method for Policy Enforcement over Evolving Audit Logs
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
Deepak Garg, Limin Jia, Anupam Datta