Sciweavers

10293 search results - page 490 / 2059
» Describing Semistructured Data
Sort
View
AUSAI
2005
Springer
16 years 12 days ago
Fuzzy Attribute Implications: Computing Non-redundant Bases Using Maximal Independent Sets
Abstract. This note describes a method for computation of non-redundant bases of attribute implications from data tables with fuzzy attributes. Attribute implications are formulas ...
Radim Belohlávek, Vilém Vychodil
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
16 years 11 days ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
ECAI
2004
Springer
16 years 7 days ago
An Ontology Based Visual Tool for Query Formulation Support
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrated...
Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, ...
ICDM
2003
IEEE
225views Data Mining» more  ICDM 2003»
16 years 4 days ago
Combining the web content and usage mining to understand the visitor behavior in a web site
A web site is a semi structured collection of different kinds of data, whose motivation is show relevant information to visitor and by this way capture her/his attention. Understa...
Juan D. Velásquez, Hiroshi Yasuda, Terumasa...
ERSHOV
2003
Springer
16 years 2 days ago
TeXOR: Temporal XML Database on an Object-Relational Database System
Storage costs are rapidly decreasing, making it feasible to store larger amounts of data in databases. This also makes it possible to store previous versions of data in the databa...
Kjetil Nørvåg, Marit Limstrand, Lene ...