Sciweavers

3005 search results - page 22 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
84
Voted
WIDM
2003
ACM
15 years 2 months ago
Datarover: a taxonomy based crawler for automated data extraction from data-intensive websites
The advent of e-commerce has created a trend that brought thousands of catalogs online. Most of these websites are “taxonomy-directed”. A Web site is said to be ``taxonomydire...
Hasan Davulcu, S. Koduri, Saravanakumar Nagarajan
FBIT
2007
IEEE
15 years 3 months ago
Rough Set Based Information Retrieval from Argumentative Data Points in Weblogs
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
Sea Woo Kim, Chin-Wan Chung
LOPSTR
2000
Springer
15 years 1 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...
CONTEXT
2007
Springer
15 years 3 months ago
Textual Inference Logic: Take Two
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravd...
ICCAD
2006
IEEE
108views Hardware» more  ICCAD 2006»
15 years 6 months ago
From molecular interactions to gates: a systematic approach
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...
Josep Carmona, Jordi Cortadella, Yousuke Takada, F...