Sciweavers

889 search results - page 61 / 178
» General Conclusions
Sort
View
SIAMCOMP
2008
100views more  SIAMCOMP 2008»
14 years 11 months ago
On the Complexity of Verifying Consistency of XML Specifications
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
Marcelo Arenas, Wenfei Fan, Leonid Libkin
SYNTHESE
2008
102views more  SYNTHESE 2008»
14 years 11 months ago
Epistemic comparative conditionals
The interest of epistemic comparative conditionals comes from the fact that they represent genuine `comparative epistemic relations' between propositions, situations, evidence...
Linton Wang
BMCBI
2002
128views more  BMCBI 2002»
14 years 11 months ago
Correlating overrepresented upstream motifs to gene expression: a computational approach to regulatory element discovery in euka
Background: Gene regulation in eukaryotes is mainly effected through transcription factors binding to rather short recognition motifs generally located upstream of the coding regi...
Michele Caselle, Ferdinando Di Cunto, Paolo Prover...
CERA
2002
109views more  CERA 2002»
14 years 11 months ago
Devolved Manufacturing
Current research by the developers of rapid prototyping systems is generally focused on improvements in cost, speed and materials to create truly economic and practical economic r...
Richard J. Bateman, Kai Cheng
CORR
2000
Springer
132views Education» more  CORR 2000»
14 years 11 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...