Sciweavers

1802 search results - page 52 / 361
» Complexity Theory for Operators in Analysis
Sort
View
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 7 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
CODES
2010
IEEE
15 years 3 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
PODS
2007
ACM
196views Database» more  PODS 2007»
16 years 5 months ago
On the complexity of managing probabilistic XML data
In [3], we introduced a framework for querying and updating probabilistic information over unordered labeled trees, the probabilistic tree model. The data model is based on trees ...
Pierre Senellart, Serge Abiteboul
131
Voted
ECIS
2004
15 years 6 months ago
Extending media richness theory: the influence of a shared social construction
Globalization has seen the emergence of virtual teams solving complex organisational problems using computer-mediated technologies. By extending Media Richness Theory, it was the ...
Irem Sevinc, John D'Ambra
CORR
2010
Springer
221views Education» more  CORR 2010»
15 years 2 months ago
Reduction of Feature Vectors Using Rough Set Theory for Human Face Recognition
In this paper we describe a procedure to reduce the size of the input feature vector. A complex pattern recognition problem like face recognition involves huge dimension of input ...
Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nas...