3005 search results - page 14 / 601 » Logical Information Systems: from Taxonomies to Logics |
DOLAP
2005
ACM
14 years 11 months ago
2005
ACM
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
SIGPLAN
2002
14 years 9 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
CIKM
2003
Springer
15 years 2 months ago
2003
Springer
Evaluation of IR systems has always been difficult because of the need for manually assessed relevance judgments. The advent of large editor-driven taxonomies on the web opens the...
FM
2001
Springer
15 years 1 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
ISMVL
2003
IEEE
15 years 2 months ago
2003
IEEE
A new asynchronous data transfer scheme using multiple-valued 2-color 1-phase coding, called a bidirectional data transfer scheme, is proposed for a highperformance and low-power ...