Sciweavers

1750 search results - page 248 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
STTT
2008
134views more  STTT 2008»
14 years 9 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
IJSWIS
2007
87views more  IJSWIS 2007»
14 years 9 months ago
An Ontology-Based Data Mediation Framework for Semantic Environments
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...
Adrian Mocan, Emilia Cimpian
POPL
2005
ACM
15 years 10 months ago
Communicating quantum processes
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
Simon J. Gay, Rajagopal Nagarajan
QI
2009
Springer
139views Physics» more  QI 2009»
15 years 4 months ago
Nonseparability of Shared Intentionality
According to recent studies in developmental psychology and neuroscience, symbolic language is essentially intersubjective. Empathetically relating to others renders possible the a...
Christian Flender, Kirsty Kitto, Peter Bruza
SAC
2004
ACM
15 years 3 months ago
A core calculus of higher-order mixins and classes
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
Lorenzo Bettini, Viviana Bono, Silvia Likavec