Sciweavers

2694 search results - page 175 / 539
» A Description Logic of Change
Sort
View
ERSA
2006
76views Hardware» more  ERSA 2006»
15 years 8 months ago
Logic Synthesis and Place-and-Route Environment for ORGAs
Abstract-- We have continued development of Optically Reconfigurable Gate Arrays (ORGAs) to realize larger virtual gate count VLSIs than currently available VLSIs. The grain and st...
Minoru Watanabe, Fuminori Kobayashi
CAEPIA
2003
Springer
15 years 10 months ago
Embracing Causality in Inducing the Effects of Actions
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
Ramón P. Otero
DOOD
1995
Springer
93views Database» more  DOOD 1995»
15 years 10 months ago
A Query Translation Scheme for Rapid Implementation of Wrappers
Wrappers provide access to heterogeneous information sources by converting application queries into source speci c queries or commands. In this paper we present a wrapper implemen...
Yannis Papakonstantinou, Ashish Gupta, Hector Garc...
LOGCOM
2007
180views more  LOGCOM 2007»
15 years 6 months ago
A Causal Theory of Abduction
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
Alexander Bochman
WWW
2007
ACM
16 years 7 months ago
Analyzing web access control policies
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
Vladimir Kolovski, James A. Hendler, Bijan Parsia