Sciweavers

2070 search results - page 311 / 414
» Regret-Minimizing Representative Databases
Sort
View
DBPL
2007
Springer
98views Database» more  DBPL 2007»
15 years 10 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
ER
2007
Springer
127views Database» more  ER 2007»
15 years 10 months ago
Update XML Data by Using Graphical Languages
To be a full-featured data exchange format, XML should support not only queries but also updates on its contents. The new W3C XML update facility has proposed a set of operators (...
Wei Ni, Tok Wang Ling
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
15 years 10 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
ISAAC
2007
Springer
135views Algorithms» more  ISAAC 2007»
15 years 10 months ago
Fast Evaluation of Union-Intersection Expressions
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
Philip Bille, Anna Pagh, Rasmus Pagh
140
Voted
ISNN
2007
Springer
15 years 10 months ago
Hybrid Systems and Artificial Immune Systems: Performances and Applications to Biomedical Research
In this paper we propose a comparative study of Artificial Neural Networks (ANN) and Artificial Immune Systems. Artificial Immune Systems (AIS) represent a novel paradigm in the fi...
Vitoantonio Bevilacqua, Cosimo G. de Musso, Filipp...