Sciweavers

534 search results - page 41 / 107
» Approximation of Indistinct Concepts
Sort
View
ICTAI
2008
IEEE
14 years 2 months ago
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
Éric Grégoire, Bertrand Mazure, C&ea...
SEMWEB
2007
Springer
14 years 1 months ago
Emerging Consensus In-situ
Abstract Traditional ontology mapping techniques are not strictly applicable in a dynamic and distributed environment (e.g. P2P and pervasive computing) in which on-the-fly alignm...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis
KCAP
2005
ACM
14 years 1 months ago
OLA in the OAEI 2005 Alignment Contest
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
Jérôme Euzenat, Philippe Guéga...
JSAI
2005
Springer
14 years 1 months ago
Support for Content Creation Using Conversation Quanta
Abstract. In this study, we present a computational approach to support content creation by recording and reusing the conversational contents as reusable nuggets. We introduce the ...
Ken Saito, Hidekazu Kubota, Yasuyuki Sumi, Toyoaki...
DATE
2002
IEEE
102views Hardware» more  DATE 2002»
14 years 18 days ago
Library Compatible Ceff for Gate-Level Timing
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
Bernard N. Sheehan