Sciweavers

9532 search results - page 136 / 1907
» Logic, Graphs, and Algorithms
Sort
View
DOLAP
2005
ACM
15 years 1 months ago
Mapping conceptual to logical models for ETL processes
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
Alkis Simitsis
COCO
1997
Springer
81views Algorithms» more  COCO 1997»
15 years 3 months ago
Complexity and Expressive Power of Logic Programming
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andre...
LICS
2006
IEEE
15 years 5 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
TDSC
2008
83views more  TDSC 2008»
14 years 11 months ago
A Precise Termination Condition of the Probabilistic Packet Marking Algorithm
The probabilistic packet marking (PPM) algorithm is a promising way to discover the Internet map or an attack graph that the attack packets traversed during a distributed denial-of...
T. Y. Wong, Man Hon Wong, John C. S. Lui
ARITH
1999
IEEE
15 years 3 months ago
A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication
A new IEEE compliant floating-point rounding algorithm for computing the rounded product from a carry-save representation of the product is presented. The new rounding algorithm i...
Guy Even, Peter-Michael Seidel