883 search results - page 99 / 177 » The Semantics of Verilog Using Transition System Combinators |
NIPS
2003
13 years 10 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
EACL
1993
ACL Anthology
13 years 10 months ago
1993
ACL Anthology
Substantial efforts have been made in order to cope with disjunctions in constraint based grammar formalisms (e.g. [Kasper, 1987; Maxwell and Kaplan, 1991; DSrre and Eisele, 1990]...
IIR
2010
13 years 7 months ago
2010
Defining ontologies within the multimedia domain still remains a challenging task, due to the complexity of multimedia data and the related associated knowledge. In this paper, we...
STTT
2008
13 years 9 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
EUMAS
2006
13 years 10 months ago
2006
Well-known approaches for the ontology mapping can be grouped into lexical, semantic, and structural ones. We assume that the approaches are complementary to each other and their ...