Sciweavers

194 search results - page 34 / 39
» Formal concept analysis applied to fault localization
Sort
View
VMCAI
2010
Springer
14 years 5 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
INFOCOM
2008
IEEE
14 years 2 months ago
BAKE: A Balanced Kautz Tree Structure for Peer-to-Peer Networks
Abstract—In order to improve scalability and reduce maintenance overhead for structured Peer-to-Peer systems, researchers design optimal architectures with constant degree and lo...
Deke Guo, Yunhao Liu, Xiang-Yang Li
DEXAW
2007
IEEE
137views Database» more  DEXAW 2007»
14 years 2 months ago
FCA for contextual semantic navigation and information retrieval in heterogeneous information systems
This paper presents an information retrieval methodology which uses Formal Concept Analysis in conjunction with semantics to provide contextual answers to users’ queries. User f...
Géraldine Polaillon, Marie-Aude Aufaure, B&...
AHS
2007
IEEE
239views Hardware» more  AHS 2007»
13 years 12 months ago
Separation of Data flow and Control flow in Reconfigurable Multi-core SoCs using the Gannet Service-based Architecture
This paper presents a mechanism for the separation of control and data flow in NoC-based SoCs consisting of multiple heterogeneous reconfigurable IP cores. This mechanism enables ...
Wim Vanderbauwhede
ER
2006
Springer
145views Database» more  ER 2006»
13 years 11 months ago
Combining Declarative and Procedural Knowledge to Automate and Represent Ontology Mapping
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...
Li Xu, David W. Embley, Yihong Ding