Sciweavers

999 search results - page 107 / 200
» On the Decidability of Functional Uncertainty
Sort
View
VLDB
2007
ACM
139views Database» more  VLDB 2007»
14 years 9 months ago
FuSem - Exploring Different Semantics of Data Fusion
Data fusion is the final step of a typical data integration process, after schematic conflicts have been overcome and after duplicates have been correctly identified. We present t...
Jens Bleiholder, Karsten Draba, Felix Naumann
IEEEARES
2010
IEEE
14 years 3 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
CSO
2009
IEEE
14 years 3 months ago
Competitive Analysis of Online Price Discount Replacement Problem
When a paid price discount activity occurs, the decisionmaker must decide whether or not and when to pay the additional fees for preferential price in an online fashion. This prob...
Lili Ding, Xinmin Liu, Wanglin Kang
IDA
2009
Springer
14 years 3 months ago
Selecting Computer Architectures by Means of Control-Flow-Graph Mining
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
Frank Eichinger, Klemens Böhm
ISSAC
2009
Springer
121views Mathematics» more  ISSAC 2009»
14 years 3 months ago
Faster real feasibility via circuit discriminants
We show that detecting real roots for honestly n-variate (n + 2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any ï¬...
Frédéric Bihan, J. Maurice Rojas, Ca...