Sciweavers

3432 search results - page 428 / 687
» Language as a Complex Adaptive System
Sort
View
FLAIRS
2006
15 years 8 months ago
Modeling Bayesian Networks for Autonomous Diagnosis of Web Services
We took an innovative approach to service level management for network enterprise systems by using integrated monitoring, diagnostics, and adaptation services in a service-oriente...
Haiqin Wang, Guijun Wang, Alice Chen, Changzhou Wa...
191
Voted
ICCS
2005
Springer
16 years 5 days ago
Applications of Description Logics: State of the Art and Research Challenges
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
Ian Horrocks
CL
2000
Springer
15 years 11 months ago
Querying Inconsistent Databases: Algorithms and Implementation
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
Alexander Celle, Leopoldo E. Bertossi
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 1 months ago
Linear Dependent Types and Relative Completeness
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
Ugo Dal Lago, Marco Gaboardi
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
16 years 8 months ago
Spatiotemporal Annotation Graph (STAG): A Data Model for Composite Digital Objects
In this demonstration, we present a database over complex documents, which, in addition to a structured text content, also has update information, annotations, and embedded object...
Smriti Yamini, Amarnath Gupta