Sciweavers

5122 search results - page 145 / 1025
» Comparing Consequence Relations
Sort
View
SAC
2006
ACM
15 years 3 months ago
Editorial message: special track on ubiquitous computing
Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology r...
Achilles Kameas, George Roussos
133
Voted
STTT
2008
134views more  STTT 2008»
15 years 3 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
FTCGV
2007
123views more  FTCGV 2007»
15 years 3 months ago
The Appearance of Human Skin: A Survey
Skin is the outer-most tissue of the human body. As a result, people are very aware of, and very sensitive to, the appearance of their skin. Consequently, skin appearance has been...
Takanori Igarashi, Ko Nishino, Shree K. Nayar
134
Voted
IJIIDS
2010
136views more  IJIIDS 2010»
14 years 10 months ago
Kleisli category and database mappings
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
Zoran Majkic, Bhanu Prasad
142
Voted
DLOG
2011
14 years 7 months ago
Unchain My EL Reasoner
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...
Yevgeny Kazakov, Markus Krötzsch, Frantisek S...