Sciweavers

5414 search results - page 847 / 1083
» Data representation synthesis
Sort
View
ESWS
2007
Springer
15 years 10 months ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller
ICDM
2007
IEEE
147views Data Mining» more  ICDM 2007»
15 years 10 months ago
Improving Knowledge Discovery in Document Collections through Combining Text Retrieval and Link Analysis Techniques
In this paper, we present Concept Chain Queries (CCQ), a special case of text mining in document collections focusing on detecting links between two topics across text documents. ...
Wei Jin, Rohini K. Srihari, Hung Hay Ho, Xin Wu
CAISE
2006
Springer
15 years 10 months ago
Supporting Customised Collaboration over Shared Document Repositories
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...
Claudia-Lavinia Ignat, Moira C. Norrie
CAISE
2006
Springer
15 years 10 months ago
A Tool for Semi-Automated Semantic Schema Mapping: Design and Implementation
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...
Dimitris Manakanatas, Dimitris Plexousakis
CAV
2006
Springer
86views Hardware» more  CAV 2006»
15 years 10 months ago
The Power of Hybrid Acceleration
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
Bernard Boigelot, Frédéric Herbretea...