Sciweavers

114 search results - page 6 / 23
» Towards a Theory of Data Entanglement: (Extended Abstract)
Sort
View
RTCSA
2005
IEEE
14 years 1 months ago
Multi-Versions Data for Improvement of QoS in RTDBS
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...
Emna Bouazizi, Claude Duvallet, Bruno Sadeg
FM
2001
Springer
130views Formal Methods» more  FM 2001»
14 years 7 days ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ICDM
2008
IEEE
115views Data Mining» more  ICDM 2008»
14 years 2 months ago
Toward Faster Nonnegative Matrix Factorization: A New Algorithm and Comparisons
Nonnegative Matrix Factorization (NMF) is a dimension reduction method that has been widely used for various tasks including text mining, pattern analysis, clustering, and cancer ...
Jingu Kim, Haesun Park
CORR
2004
Springer
176views Education» more  CORR 2004»
13 years 7 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
PPSWR
2004
Springer
14 years 1 months ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger