Sciweavers

939 search results - page 139 / 188
» Semantic Abstraction and Quantum Computation
Sort
View
KDID
2004
134views Database» more  KDID 2004»
13 years 11 months ago
Theoretical Bounds on the Size of Condensed Representations
Abstract. Recent studies demonstrate the usefulness of condensed representations as a semantic compression technique for the frequent itemsets. Especially in inductive databases, c...
Nele Dexters, Toon Calders
AIPS
1996
13 years 11 months ago
Event-Based Decompositions for Reasoning about External Change in Planners
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
Jim Blythe
CORR
2007
Springer
73views Education» more  CORR 2007»
13 years 10 months ago
The Earth System Grid: Supporting the Next Generation of Climate Modeling Research
d abstractions for high-performance remote data access, mechanisms for scalable data replication, cataloging with rich semantic and syntactic information, data discovery, distribut...
David E. Bernholdt, Shishir Bharathi, David Brown,...
STTT
2008
134views more  STTT 2008»
13 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
CONCURRENCY
2008
98views more  CONCURRENCY 2008»
13 years 9 months ago
An ontology-based approach to handling information quality in e-Science
context. In contrast to previous approaches that take a very abstract view of IQ properties, we allow scientists to define the quality characteristics that are of importance to the...
Alun D. Preece, Paolo Missier, Suzanne M. Embury, ...