Sciweavers

2377 search results - page 239 / 476
» Hera: Development of Semantic Web Information Systems
Sort
View
AAAI
1998
15 years 8 months ago
Learning to Extract Symbolic Knowledge from the World Wide Web
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
Mark Craven, Dan DiPasquo, Dayne Freitag, Andrew M...
FOSSACS
2005
Springer
16 years 5 days ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
AMR
2003
Springer
112views Multimedia» more  AMR 2003»
15 years 12 months ago
Ontology-Based Semantic Classification of Unstructured Documents
As more and more knowledge and information becomes available through computers, a critical capability of systems supporting knowledge management is the classification of documents ...
Ching Kang Cheng, Xiaoshan Pan, Franz J. Kurfess
EDBT
2008
ACM
120views Database» more  EDBT 2008»
16 years 6 months ago
Flint: Google-basing the Web
Several Web sites deliver a large number of pages, each publishing data about one instance of some real world entity, such as an athlete, a stock quote, a book. Even though it is ...
Lorenzo Blanco, Valter Crescenzi, Paolo Merialdo, ...
EUROSYS
2008
ACM
16 years 3 months ago
Manageable fine-grained information flow
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
Petros Efstathopoulos, Eddie Kohler